181
Improvements to static analysis in GCC 14
Learn about static analysis improvements coming in GCC 14 with -fanalyzer, which helps identify issues in C code at compile-time, rather than at runtime.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 1,929 posts.
182
183
184
Elixir v1.7 released
Elixir v1.7 includes many quality of life improvements, focusing on documentation, Logger and ExUnit, as well as a new Elixir Core team member.
185
186
OTP 23
The official home of the Erlang Programming Language
187
Strong static typing, a hill I'm willing to die on
This is a post about strong static typing, why I feel strongly about the topic, and some of the ways we utilize the Rust type system at Svix.
188
Static Analysis in GCC 10
Discover the new -fanalyzer option coming to GCC 10 that provides a static analysis pass to identify problems at compile-time, rather than at runtime.
189
Go 1.9 is released
Go 1.9 adds type aliases, bit intrinsics, optimizations, and more.
190
191
192
Clojure 1.12.0 is now available
Clojure 1.12.0 is now available! Find download and usage information on the Downloads page.
193
194
195
196
My First Fifteen Compilers
We sometimes think of the number of passes in a compiler as a measure of the compiler’s complexity. But what if we could make compiler development more approachable by fully embracing the ide…
197
Backward Compatibility, Go 1.21, and Go 2
Go 1.21 expands Go's commitment to backward compatibility, so that every new Go toolchain is the best possible implementation of older toolchain semantics as well.
198
199
Elixir 1.19
Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.
200
201
202
Elixir 1.11
Elixir v1.11 is out with improvements to the compiler and tighter integration with Erlang/OTP.
203
Kotlin 1.0 Released: Pragmatic Language for JVM and Android
This is it. 1.0 is here! It's been a long and exciting road but we've finally reached the first big 1.0, and we're celebrating the release by also presenting you with the new logo: See the discuss
204
205
206
207
Formal methods and the future of programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
208
209
Statement Regarding the Zen Programming Language
Original English version available below. We are thankful to 株式会社HYPERIA and all the members of the Zig community that helped us with the Japanese translation.
210
More powerful Go execution traces
New features and improvements to execution traces from the last year.