10171
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 21,834 posts.
10172
Micro-libraries should never be used
Somehow people are still putting tiny libraries on npm, and it really needs to stop.
10173
A convenient untruth: Array notation in C is a lie
Array notation in C is a lie! Sorry, dear reader*, but I cannot participate in this conspiracy any longer. You have been lied to, manipulated and coerced into thinking arrays are a construct of the C language. I feel it is my solemn duty to blow the whistle on this charade and expose the dirty secrets of C’s so-called…
10174
10175
10176
How to Structure C Projects: These Best Practices Worked for Me
I recently worked on two different C projects, and I wanted to structure them in a way that would make them easy to maintain and understand. I also wanted to make sure that the projects were easy to build and test. In this post, I will share my experience and the best practices I found for structuring C projects.
10177
IKEA-Oriented Development
To frugally furnish a codebase, imitate Ikea.
10178
Fantastic DSLs and where to find them
The article discusses how Kotlin can create internal languages and how developers can use this feature to write powerful domain-specific languages for manipulating untyped data structures in a typed manner.
10179
A guide to getting started with embedded systems
In this article, I share a beginner friendly guide to learning the basics of embedded systems and how they work. I talk about micontrollers, electronics, and software. I also share my motivation for working on embedded systems.
10180
Linked Lists Are Still Hard
Stephen Brennan's personal website and blog.
10181
Programming Language Memory Models
Programming language memory models answer the question of what behaviors parallel programs can rely on to share memory between their threads. For example, consider this program in a C-like language, where both x and done start out zeroed.
10182
A Few More Reasons Rust Compiles Slowly
Learn about the benefits of TiDB and the TiDB Cloud solutions from PingCAP. Read our latest post "A Few More Reasons Rust Compiles Slowly" here.
10183
Django 4.0 release candidate 1 released
Posted by Mariusz Felisiak on Nov. 22, 2021
10184
Identifying Rust's collect:<Vec<_>>() memory leak footgun
Over the weekend, I was working on a personal Rust project when I ran into an excessive memory usage problem. After an evening of trial and error, I found a workaround to fix the memory usage, but I still didn’t understand how the issue was even possible, so I then spent another evening digging through the source code…
10185
Django and Postgres for the Busy Rails Developer
About 10 years ago I wrote a post PostgreSQL for the Busy MySQL Developer, as part of switching from MySQL to Postgres for my personal and professional projects wherever I could.
10186
Software Development at 1 Hz
People keep saying that a one line source code change should take one second to be “effective”. “Effective” meaning that you get some form…
10187
Too Many Open Files
Recently I’ve been working on a pretty big rust project and to my surprise Icouldn’t get tests to work properly.
10188
10189
Insights from Adopting TypeScript at Scale
Rob Palmer shares some of the insights & lessons learned during Bloomberg Engineering's journey to adopt TypeScript as a first-class supported language.
10190
10191
Programming in the Point-Free Style
Point-free programming (or point-less programming, for the more cynically inclined) is a paradigm that advocates the formulation of programs by means of function composition. In the point-free styl…
10192
The Linux scheduler: A decade of wasted cores (2016)
The Linux Scheduler: a Decade of Wasted Cores – Lozi et al. 2016 This is the first in a series of papers from EuroSys 2016. There are three strands here: first of all, there’s some grea…
10193
Go 1.23 Released
This page summarizes the changes between official stable releases of Go. The change log has the full details.
10194
Full-Text Search in Django with PostgreSQL
Article based on my talk about Full-text search in Django with PostgreSQL.
10195
New in Chrome 113
Chrome 113 is rolling out now! WebGPU is here, it allows high-performance 3D graphics and data-parallel computation on the web, devtools can now override network response headers, First Party Sets, part of the Privacy Sandbox, that allows organizations to declare related sites is starting to roll out, and there's…
10196
Racket Compiler and Runtime Status
posted by Matthew Flatt With the upcoming version 8.0 release, Racket on Chez Scheme (Racket CS) will become the default implementation of Racket. This report discusses the implications of that change, continuing a series that was originally about Racket...
10197
Use the Unofficial Bash Strict Mode (Unless You Love Debugging)
Let's start with the punchline. Your bash scripts will be more robust, reliable and maintainable if you start them like this:
10198
Django CMS 3.2 released
We are very proud to release django CMS 3.2 with a smarter, fresher and cleaner user interface, including huge steps towards full touch-screen support. We've also made it faster and found other ways to optimise its performance. All in all, we think that version 3.2 is the most exciting release yet of django CMS.
10199
Removing 'um' from a recording is harder than it sounds
A tour of erm, a local CLI that removes disfluencies from English speech recordings using faster-whisper, a few detectors that look at the audio directly, and ffmpeg.
10200
