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.
The latest blog posts to take off on Hacker News. 7,293 posts.
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
Open sourcing our learnings around Windows APIs, COM, C++ and their delightful integration into Swift - while building Arc.
Rethinking ‘rethinking reactivity’
Ruby 3.2 YJIT has optimized the production workloads of Shopify and other companies. We encourage you to enable YJIT in production. Once Ruby 3.3 is released, it should make your application even faster.
Go 1.21 shipped a preview of a change in Go 1.22 to make for loops less error-prone.
“640K ought to be enough for anybody.” - Supposedly Bill Gates, circa 1981.
iOS 17 makes iPhone even more personal and intuitive with StandBy, easier sharing with AirDrop, and more, and is available as a free software update.
A guide to adding Rust to a Java codebase with JNI and the rust-maven-plugin.
If you're considering building a homemade billing system for your SaaS company, there are a few things you should be aware of. In this article, Qonto's first billing engineer shares four lessons he learned while working on this project.
Suppose the OpenDocument file format, and specifically the "ODP" OpenDocument Presentation format, were built around SQLite. Benefits would include:
Simple data pipeline powertools: sqlite, pandas, gnuplot and friends
Stack smashing: How Linux creates the stack and runs a program. Then mess with it.
Getting a kickstart in the logic programming world with Prolog
Go 1.21 adds a new port targeting the WASI preview 1 syscall API
“When will there be a Rust IDE?” Update: RustRover is now generally available, with free non-commercial use and commercial licensing options. Learn more about the RustRover release. We get this
We’re once again at the end of our internship season, and it’s my task to provide a few highlights of what the dev interns accomplished while they were here.
In the final part of our series, we'll implement an edit modal.
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…
Bun is stable and ready for production.
A comparative study of processor architectures.
YJIT’s ability to improve performance by adapting to run-time behavior can increase the speed of our code in a way that dropping down to C can’t. As such, I think we should reconsider the common wisdom that “rewriting our Ruby in C” is the ideal path to performance optimization and take a serious look at “rewriting…
Discovery and walkthrough of CVE-2023-38633 in librsvg, when two URL parser implementations (Rust and Glib) disagree on file scheme parsing leading to path traversal.
We’ve noticed an unusual training pattern in fine-tuning LLMs. At first we thought it’s a bug, but now we think it shows LLMs can learn effectively from a single example.
Deno KV, the easiest way to add a strongly consistent database to your app, is now in open beta.