The latest blog posts to take off on Hacker News. 1,929 posts.
Code reflection, an enhancement to Java reflection, enables access to symbolic representations of Java code in method and lambda expressions. “Symbolic representations of Java code” may seem like a fancy term, but its easily demystified. It’s a model of Java code where the code of a method or lambda expressions is…
Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support.
Swift is a general-purpose programming language built using a modern approach to safety, performance, and software design patterns.
Today, we are announcing an exciting development for the Swift programming language: its migration to a dedicated GitHub organization at GitHub.com/swiftlang.
An exhaustive set of benchmarks on different ways to approach error handling in Golang. We demonstrate that common sentinel error idioms are slow your code down by 5x.
Lead programmer talks Lua’s flexibility, challenges, and integration with Defold game engine after 60k lines of code in Craftomation 101.
R has built-in support for two functional Object Oriented Programming (OOP) systems: S3 and S4, corresponding to the third and fourth version of the S language, respectively. The two systems are largely compatible; however, they are two fundamentally distinct systems, two systems for a user to understand, two systems…
News post: Gleam v1.2.0 released
The official home of the Erlang Programming Language
Silo AI is announcing the release of the first open LLM for the Nordic languages
We continue our work on formal verification of Rust programs with our tool coq-of-rust, to translate Rust code to the formal proof system Coq. One of the limitation we had was the handling of primitive constructs from the standard library of Rust, like Option::unwrapordefault or all other primitive functions. For each…
ChaCha8Rand is a new cryptographically secure pseudorandom number generator used in Go 1.22.
Figma's team recently converted one of its codebases from a custom programming language to TypeScript without disrupting a single day of development.
Go 1.22 adds math/rand/v2 and charts a course for the evolution of the Go standard library.
It took more than ten years of full-time work for Rama to go from an idea to a production system. I shudder to think of how long it would have taken without Clojure. Rama is a programming platform …
Pharo is a pure object-oriented programming language and a powerful environment focused on simplicity and immediate feedback.
"Type-driven development"
How to brand TypeScript types for norminal typing, providing an automated and easy-to-use way of making a type nominal.
Since starting Wasmer five years ago we've been obsessed with empowering more languages to target the web and beyond through Webassembly. One of the mo...
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
Enhance the switch construct so that exceptions thrown by the selector (the e in switch (e) ... ) can be handled in the switch block. Alongside a previous enhancement to handle null selectors, this makes switch even more useful for pattern matching. This is a preview language feature .
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.
At Modular, open source is ingrained in our DNA. We firmly believe for Mojo to reach its full potential, it must be open source. We have been progressively open-sourcing more of Mojo and parts of the MAX platform, and today we’re thrilled to announce the release of the core modules from the Mojo standard library under…
Swift is well-suited for creating user interfaces thanks to the clean syntax, static typing, and special features making code easier to write. Result builders, combined with Swift’s closure expression syntax, can significantly enhance code readability.
New features and improvements to execution traces from the last year.
