2431
A reckless introduction to Hindley-Milner type inference (2019)
(I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.)
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,433 posts.
2432
There is no such thing as a global method in Ruby
What Ruby’s top-level methods actually are, who they belong to and how they are namespaced
2433
Lessons I learned from working full-time on a FOSS project for 503 days
This article shares some of the lessons I learned from working full-time on a FOSS project for 503 days.
2434
Building the new hypermedia systems
A shiny new edition of Hypermedia Systems is out! Apart from incorporating typo and grammar fixes sent in by readers, the book was completely redesigned inside with a new layout. To achieve a much higher fidelity of design, we ported the book to Typst --- the hot new LaTeX replacement.
2435
2436
When will the eclipse happen? A multimillennium tale of computation
Wolfram tech and its dedicated website now easily predict eclipses. A look at advances in understanding and science from ancient eclipse data thousands of years old through current eclipse calculations.
2437
Game Font Forensics
VileR's blog: old school PCs, games, graphics, programming, fonts, demos, and so on.
2438
2439
Insiders Stealing Instagram Usernames?
My computer on the net
2440
Why conventional wisdom on health care is wrong (a primer) (2020)
Rich countries consume much higher quantities via higher intensity/tech. It's NOT high and rising: wages, profits, administration, encounters, etc. Income well explains American behavior here too.
2441
Thoughts on the Durov Arrest
Today we learn that Pavel Durov, founder of the popular messaging app Telegram, has been arrested as his private jet landed in France. Early indications are that the arrest stems from Telegram̵…
2442
2443
Can SpaceX land a rocket with 1/2 cm accuracy?
No. But they don’t need to. In preparation for the 5th test flight of Starship, SpaceX announced that they would try to catch the booster using “Mechazilla’s chopsticks.” Later du…
2444
Emacs arbitrary code execution and how to avoid it
A post by Eshel Yaron with details and advice about a long standing arbitrary code execution vulnerability in Emacs
2445
0xCAFEBABE & 0xFEEDFACE (2003)
Tuesday, January 28, 2003 0xCAFEBABE & 0xFEEDFACE Recently, the origin of the magic numbers of 0xCAFEBABE and 0xFEEDFACE came up in an email conversation between a number of ex-NeXT folks. Specifically, someone asked what the origin of the two magic numbers were in the context of mach-o file formats and why had Java…
2446
DELETEs Are Difficult
Why are database DELETEs complex and inefficient? Uncover challenges from physical data removal to autovacuum, and find strategies for managing large deletions.
2447
2448
2449
Field experimental evidence of AI on knowledge worker productivity and quality
I think we have an answer on whether AIs will reshape work....
2450
Online censorship's institutional power
The converging interests of technocrats, media, and academia, as seen through the lens of the world's most deplatformed US-legal website.
2451
The Great Flattening
Apple’s iPad ad might not have been good for Apple, but it was a profound encapsulation of what has happened on the Internet; the question is what it leads to next.
2452
A seventh-grader student found a beautiful proof to Thales' Theorem (2002)
A useful theorem attributed to the probably first mathematician ever, Thales of Miletus (ca. 624 BC-ca. 546 BC) is one of most elementary and intuitive ever stated.
2453
Dijkstra's interview on Dutch TV (2000)
An english translation of Edsger W. Dijkstra's interview on Dutch TV.
2454
Gleam: A Basic Introduction
Gleam is a statically-typed functional programming language, which recently had its v1 released, designed for building scalable and maintainable software. It
2455
2456
Taking a Radio Camping
The noise floor is a lot lower in the forest
2457
This Is Knuth 3:16 (2002)
A Celebration of Donald E Knuth
2458
The power of two random choices
In many large-scale web services, multiple layers of stateless and stateful services are seperated by load balancers. Load balancing can be done with dedicated hardware, with dedicated software load balancers, using DNS trickery or through a load-balancing mechanism in the client. In large systems, the resources and…
2459
Threads on Mastodon and the bright future of the Fediverse
This is my journey that started as an experiment to see how my Threads feed would look like on Mastodon and ended with me finding experiences that went above and beyond my expectations.
2460
A Tour of Hell – Shell scripting Haskell dialect
This set of slides sketches out the implementation of Hell , in technical detail. I do tend to switch between the slides, old code, and the present code, so bear with me. It's more about the ideas. If you want to see a complete implementation, the complete implementation of Hell is one file , which you can look…