9121
Why Mathematica does not simplify sinh(arccosh(x))
When Mathematica seems to not to know how to simplify an expression, it may be doing the right thing, being more sophisticated than you expect.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,544 posts.
9122
Functional programming in C (2013)
0.1 Discriminated unions in C 0.2 Nested functions and lambda variables 0.3 Automatic cleanup of local variables 0.4 Data structures 0.5 Wrapping up This post/program (as I’m writing it in literate…
9123
9124
Adding type safety to object IDs in TypeScript
Learn how to add type safety to object IDs in a TypeScript codebase using template literal types.
9125
Why is .NET reflection slow?
It’s common knowledge that reflection in .NET is slow, but why is that the case? This post aims to figure that out by looking at what reflection does under-the-hood.
9126
Bye Bye JavaScript Promises
In my previous post , I explored how programming with promises can be made close to programming with values. After some more work on it, and some learning from bluebird , I came to conclude that my brain doesn’t think well with promises. So I wrote a macro for Javascript that expands “tasks” into async state machines…
9127
How I develop with Nix
Recently NixOS was posted to the Haskell reddit, and seems to have been received well. In the comments I mentioned that NixOS allows me to be a more productive Haskell developer, and I would like to discuss how I am using the features offered by NixOS. Before we get into those details, allow me to briefly summarise…
9128
9129
You could have invented futexes
The futex ( f ast u serspace mu tex ) is a Linux kernel feature designed for synchronization primitives (mutexes, condition variables, semaphores, etc.). Like many topics in concurrency, they have a reputation for being tricky (for example, see the paper Futexes Are Tricky ). Despite that, they really are a…
9130
Aggregating all cinema showtimes in Germany with Clojure
How I build a website for choosing movies
9131
9132
9133
Calling Rust from Python using PyO3
speed up your Python using Rust
9134
How To Survive a Ground-Up Rewrite
Smart people tell you never, ever to rewrite an entire system from scratch. They're right. But if you do, here are tips that will help.
9135
A Data Pipeline Is a Materialized View
Say you run an online book store and want to build a data pipeline that figures out who the top-selling authors are. Logically, the input to the pipeline is a log of every individual book purchase on the store for all time, along with details about each book like who authored it. And the output is a list of the…
9136
Using Fibonacci Numbers to Convert from Miles to Kilometers and Vice Versa
I recently learned an interesting fact about Fibonacci numbers while watching a random number theory video on YouTube. Fibonacci numbers can be used to approximately convert from miles to kilometers and back. Here is how. Take two consecutive Fibonacci numbers, for example 5 and 8. And you're done converting. No...
9137
Learning Zig
Welcome to Learning Zig, an introduction to the Zig programming language. This guide aims to make you comfortable with Zig. It assumes prior programming experience, though not in any particular language.
9138
Generating all permutations, combinations, and power set of a string (2012)
Combinatorics is a branch of mathematics that deal with counting of discrete structures. Two concepts that often come up in the study of c...
9139
Writing a scheduler for Linux in Rust that runs in user-space
Overview I’ve decided to start a series of blog posts to cover some details about scx_rustland , my little Linux scheduler written in Rust ...
9140
Spelunking Apple’s Open Source
Since the earliest days of Mac OS X, Apple has complied with the licenses for the dozens of open source components it includes in the OS by posting (sometimes a little belatedly) updated versions of the source code to its Open Source at Apple web page.This resource is useful primarily to developer
9141
9142
Rust Traits Deep Dive, Part 2
Traits Deep Dive, Part 2
9143
Free Printed Copies of "Version Control by Example"
The printed copies of Version Control by Example arrived last week. We moved seven tons of books into our fourth-floor office space and all the tenants on the third floor are still alive.
9144
The evolution of a Scheme programmer (2020)
For a real-life implementation, see how Racket's math/number-theory does it here .
9145
Fast Fibonacci numbers using Monoids
Compute enormous Fibonacci numbers in milliseconds using this one weird trick
9146
How Heartbleed could've been found
This blog is written by Hanno Böck. Unless noted otherwise, its content is licensed as CC0 .
9147
Questions I'm asking in technical interviews
Questions I'm asking in interviews
9148
9149
9150
Formal Verification Gates for AI Coding Loops
Formal verification gates for AI coding loops, in the language you're already shipping.