271
New
The latest blog posts to take off on Hacker News. 1,929 posts.
272
273
On-Crash Backtraces in Swift
The new Swift 5.9 release contains a number of helpful, new features for debugging code, including an out-of-process, interactive crash handler to inspect crashes in real time, the ability to trigger the debugger for just-in-time debugging, along with concurrency-aware backtracing to make it easier to understand…
274
Officially Qualified – Ferrocene
It’s official: Ferrocene is ISO 26262 and IEC 61508 qualified! You can even find the certificate in TÜV SÜDs certificate database. This means we achieved qualification for the open source Ferrocene toolchain. Ferrocene 23.06.0, based on Rust 1...
275
Sometimes, it is a compiler bug (2022)
My journey in finding and fixing a bug in a C++ toolchain
276
Java JEP 461: Stream Gatherers
Enhance the Stream API to support custom intermediate operations. This will allow stream pipelines to transform data in ways that are not easily achievable with the existing built-in intermediate operations. This is a preview API .
277
A new F# compiler feature: graph-based type-checking
Graph-based type-checking is a new F# compiler flag that allows the compiler to type-check files in a project in parallel whenever possible.
278
What's new in C# 12: overview
It′s mid-fall which means a new version of C# is coming soon. It′s time to find out what updates will soon appear in the language. Although C#12 has fewer features than previous versions, it still...
279
Mojo is now available on Mac
We released Mojo local download for Linux systems on September 7th, and in just over a month we’ve seen tens of thousands of downloads and amazing community projects such as llama.🔥and Infermo. We deeply value your feedback, as Mojicians, and we appreciate every single PR, feature request, and bug report.
280
C++ Modules: Packaging Story
Experimenting with C++ Modules from the package management and build system perspective
281
Mypy 1.6
We’ve just uploaded mypy 1.6 to the Python Package Index ( PyPI ). Mypy is a static type checker for Python. This release includes new fe...
282
Modern Pascal is still in the race (2022)
A recent poll on the Lazarus/FPC forum highlighted a fact: pascal coders are older than most coders. Usually, at our age, we should be managers, not developers. But we like coding
283
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.
284
285
AdaCore Announces Gnat Pro for Rust
For the first time, AdaCore’s GNAT Pro subscribers will be able to develop safety- and security-certifiable embedded applications using Rust while…
286
Rust vs Go: A Hands-On Comparison
Rust versus Go is a controversial topic that pops up from time. In this post, we will compare both languages in the context of web development by writing a small web service which shows weather data in both languages.
287
Deconstructing Go Type Parameters
Why the function signatures in the slices packages are so complicated.
288
JEP 457: Class-File API for Parsing, generating, transforming Java classfiles
Provide a standard API for parsing, generating, and transforming Java class files. This is a preview API .
289
The State of Async Rust: Runtimes
Recently, I found myself returning to a compelling series of blog posts titled Zero-cost futures in Rust by Aaron Turon about what would become the foundation of Rust’s async ecosystem and the Tokio runtime. This series stands as a cornerstone in wri…
290
Using enums to represent state in Rust
Many Rust beginners with a background in systems programming tend to use bool (or even u8 – an 8-bit unsigned integer type) to represent “state”. For example, how about a bool to indicate whether a user is active or not? struct User { // ... …
291
Strong arrows: a new approach to gradual typing
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
292
Interoperability: Swift’s Super Power
Open sourcing our learnings around Windows APIs, COM, C++ and their delightful integration into Swift - while building Arc.
293
Fixing for loops in Go 1.22
Go 1.21 shipped a preview of a change in Go 1.22 to make for loops less error-prone.
294
295
A Primer on Logic Programming
Getting a kickstart in the logic programming world with Prolog
296
JEP 454: Foreign Function and Memory API
Introduce an API by which Java programs can interoperate with code and data outside of the Java runtime. By efficiently invoking foreign functions (i.e., code outside the JVM), and by safely accessing foreign memory (i.e., memory not managed by the JVM), the API enables Java programs to call native libraries and…
297
Mojo is available for local download
Since our launch of the Mojo programming language on May 2nd, more than 120K+ developers have signed up to use the Mojo Playground and 19K+ developers actively discuss Mojo on Discord and GitHub. Today, we’re excited to announce the next big step in Mojo’s evolution: Mojo is now available for local download …
298
Patterns with Rust Types
Patterns to use types for better safety and design
299
300
Perfectly Reproducible, Verified Go Toolchains
Go 1.21 is the first perfectly reproducible Go toolchain.