241
CERN Online introductory lectures on quantum computing from 6 November
This content is currently in the process of being archived and integrated into the CERN Library collections.
New
The latest blog posts to take off on Hacker News. 1,508 posts.
242
243
Why Dark didn't choose Rust
Welcome again HN! Dark [https://darklang.com] is a programming language, structured editor, and infrastructure—all in one—whose goal is to make it 100x easier to build backend services. Check out the website [https://darklang.com/], our What is Dark [https://blog.darklang.com/what-is-dark/] post, and
244
Notes on Paxos
These are my notes after learning the Paxos algorithm. The primary goal here is to sharpen my own understanding of the algorithm, but maybe someone will find this explanation of Paxos useful! This post assumes fluency with mathematical notation.
245
A First Look at the JIT
The official home of the Erlang Programming Language
246
Three Months of Go from a Haskeller’s perspective (2016)
This summer I’ve been interning at Pusher , and have been writing a lot of Go. It’s been a bit of a change coming from a Haskell background, so I decided to write up my thoughts now, at the end.
247
Bevy 0.3: game engine built in Rust
A little over a month after releasing Bevy 0.2, and thanks to 59 contributors, 122 pull requests, and our generous sponsors, I'm happy to announce the…
248
Programming R at native speed using Haskell (2015)
Software Innovation Lab
249
Dark’s new backend will be in F#
Welcome HN! Dark is a programming language, structured editor, and infrastructure—all in one—whose goal is to make it 100x easier to build backend services. Check out the website, our What is Dark post, and How Dark deploys in 50ms for more. Thanks for checking us out! Part of
250
251
Scipio: A Thread-per-Core Crate for Rust and Linux
Glommio (pronounced glom-io or |glomjəʊ|) is a cooperative thread-per-core crate for Rust & Linux based on io_uring. It allows you to write asynchronous code that takes advantage of rust async/await, but it doesn’t use helper threads anywhere.
252
Leaving OCaml
Part of a 3 part series. Followups on F#, Rust I built the first demo of Dark in Python, in about two weeks. A few months later when I started productizing it, I rebuilt it in OCaml. Back in 2017, when I was considering the language and platform to use
253
How to publish Git repos that cannot be republished to GitHub
So here's an interesting thing. Certain commit hashes are rapidly heading toward being illegal on Github .
254
File Descriptor Transfer over Unix Domain Sockets
Yesterday, I read a phenomenal paper on how disruption free release at Facebook.
255
Names are not type safety
Haskell programmers spend a lot of time talking about type safety . The Haskell school of program construction advocates “capturing invariants in the type system” and “making illegal states unrepresentable,” both of which sound like compelling goals, but are rather vague on the techniques used to achieve them. Almost…
256
Algebraic Effects for React Developers
The homepage of Reese Williams: essays, travel, and general skullduggery.
257
258
Fast Inverse Square Root
The famous fast inverse square root is some mysterious code not written by programming legend John Carmack to calculate a fast approximation of $1/\sqrt{x}$:
259
Using TLA+ in the Real World to Understand a Glibc Bug
TLA+ is a formal specification language that you can use to verify programs. It’s different from other formal verification systems in that it’s very pragmatic. Instead of writing proofs…
260
Netflix Android and iOS Studio Apps now powered by Kotlin Multiplatform
By David Henry & Mel Yahya
261
Building Containers Without Docker
In this post I'll outline several ways to build containers without the need for Docker itself including buildkit, kaniko, GitHub Actions, GitLab and Jenkins
262
Extreme Debugging
Debugging without source or symbols, alternatively, "Where there's a will there's a way"
263
Why I Prefer Functional Programming
Why I'm long on functional programming
264
Mendoza: Use stack machines to compute efficient JSON diffs
Mendoza is a new, super efficient format for expressing differences between JSON documents.
265
What Happened to XPath?
After being revolutionary in 2007 to unleash CSS selectors that never existed, the specification got abandoned who knows why.
266
267
How to create minimal music with code in any programming language
Making music with low-level C code, from a simple saw wave to playing melodies
268
269
Ruby on Rails in a week
I had 7 days to learn Ruby on Rails. I often think about approaches to learning, and it was time to put my ideas into practice.
270
What's in a Linux Executable?
Executables have been fascinating to me ever since I discovered, as a kid, that they were just files. If you renamed a .exe to something else, you could open it in notepad! And if you renamed somet...