2911
Mac OS Catalina: more trouble than it’s worth (Part 2)
I've been receiving a lot of feedback since writing the original piece in October 2019, and… it's not good.
New
The latest blog posts to take off on Hacker News. 3,290 posts.
2912
The Business Case for Formal Methods
This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. Adapt the material to your specific needs. Quick…
2913
The web as a GUI toolkit
The web is kinda weird because it was originally created as a typesetting system, rather than a GUI toolkit. While this definitely has its drawbacks 1 and isn’t suitable for everything , I personally rather like the “web as a GUI toolkit” exactly because of its typesetting roots; it provides some features that few…
2914
I Add 3-25 Seconds of Latency to Every Site I Visit
There’s a sort of breathless industry-specific fact in software that goes around every so often.
2915
Usenet – Let's Return to Public Spaces
Usenet was what the Web is missing nowadays: a genuinely public space, with unclear ownership
2916
How to Tell a Mathematician You Love Them (2017)
For those who love numbers, and those who love them.
2917
2918
2919
2920
Gears
Interactive article explaining how mechanical gears work.
2921
Why are we so bad at software engineering?
From XKCD, released under the Creative Commons 2.5 License An app contributed to chaos at last week's 2020 Democratic Iowa Caucus. Hours after the caucus opened, it became obvious that something had gone wrong. No results had been reported yet. Reports surfaced that described technical problems and inconsistencies…
2922
First, Do No Harm
As regulators look closer at acquisitions they should be extremely wary of unintended consequences. The current system works well for everyone, most of the time.
2923
Time Machine in macOS 10.15.3 is very slow on first full backup
When making a first full backup of less than 2 GB takes 86 minutes, and you then can’t restore from it anyway.
2924
Let's Encrypt: an automated certificate authority to encrypt the entire web
Let’s encrypt: an automated certificate authority to encrypt the entire web, Aas et al., CCS’19 This paper tells the story of Let’s Encrypt, from it’s early beginnings in 20…
2925
Important women in CS who aren't Grace Hopper (2018)
I’m tired of hearing about Grace Hopper, Margaret Hamilton, and Ada Lovelace. Can’t we think of someone else for once? I went ahead and compiled a bunch of really important women according to some fairly arbitrary rules: There’s a specific thing you can point to and say “That. That’s their contribution.” This leaves…
2926
Awk As A Major Systems Programming Language, Revisited (2018)
AWK As A Major Systems Programming Language — Revisited
2927
Applying Mypy to real-world projects
Some hints and tips for getting started with Mypy and introducing it to existing projects
2928
The coming IP war over facts derived from books
Facts are friends not food
2929
2930
2931
Compiling a Functional Language Using C++, Part 9 – Garbage Collection
In this post, we implement a garbage collector that frees memory no longer used by the executables our compiler creates.
2932
2933
2934
Costco Capitalism
Can consumers at Costco really have their free sample and eat it too?
2935
2936
2937
Things I wish I knew about state management when I started writing React apps
Think about the most complex frontends you’ve used. Frontends that made you wonder — “how did they create this”?
2938
JuliaLang: The Ingredients for a Composable Programming Language
One of the most remarkable things about the julia programming language, is how well the packages compose. You can almost always reuse someone else’s types or methods in your own software without issues. This is generally taken on a high level to be true of all programming languages because that is what a library is…
2939
2940
Memory Bandwidth Napkin Math
An exploration into C++ memory throughput performance.