3841
Formal verification of the WireGuard protocol
WireGuard has undergone all sorts of formal verification, covering aspects of the cryptography, protocol, and implementation. Below details the various efforts.
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 11,893 posts.
3842
Nearly all binary searches and mergesorts are broken (2006)
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
3843
PEP 584 – Add + and – operators to the built-in dict class
This PEP proposes adding merge (|) and update (|=) operators to the built-in dict class.
3844
Archive.today: on the trail of mysterious guerrilla archivists of the Internet
Do you like reading articles in publications like Bloomberg, the Wall Street Journal or the Economist, but can’t afford to pay what can be hundreds of dollars a year in subscriptions? If so, …
3845
Laion-5B: A new era of open large-scale multi-modal datasets
We present a dataset of 5,85 billion CLIP-filtered image-text pairs, 14x bigger than LAION-400M, previously the biggest openly accessible image-text dataset…
3846
This Is Water (2005)
David Foster Wallace's remarkable 2005 commencement speech, This is Water, is a timeless trove of wisdom for living a meaningful life. Here is a full transcript along with audio.
3847
Autocompletion with Deep Learning
We've put together an index of testing terms and articles, covering many of the basics of testing and definitions for common searches.
3848
A log/event processing pipeline you can't have (2019)
Let me tell you about the still-not-defunct real-time log processing pipeline we built at my now-defunct last job. It handled logs from a la...
3849
Diversity and Startups
Sexism in tech is real. One of the most insidious things happening in the debate is people claiming versions of “other industries may have problems with sexism, but our industry doesn’t.” Both men and women claim this, even though it keeps getting harder to do in the face of shocks like the Tinder texts. We know there…
3850
3851
Filesystem error handling
We’re going to reproduce some results from papers on filesystem robustness that were written up roughly a decade ago : Prabhakaran et al. SOSP 05 paper , which injected errors below the filesystem and Gunawi et al. FAST 08 , which looked at how often filesystems failed to check return codes of functions that can…
3852
Sandboxing and workload isolation
Documentation and guides from the team at Fly.io.
3853
Brave New Trusted Boot World
Posts and writings by Lennart Poettering
3854
A Proposal for Type Syntax in JavaScript
Today we're excited to announce our support and collaboration on a new Stage 0 proposal to bring optional and erasable type syntax to JavaScript. Because
3855
AWS EC2 Virtualization 2017: Including Nitro
AWS EC2 Virtualization 2017: explaining the different virtualization types, from emulation and binary substitution, paravirtualization and Xen, PV, HVM, and PVHVM modes, and the new Nitro hypervisor
3856
3857
Trustworthy Chrome Extensions, by default
Incredibly, it’s been nearly a decade since we launched the Chrome extensions system. Thanks to the hard work and innovation of our deve...
3858
3859
Addition Font
Shaping When laying out text using a font file, the code points in the string are mapped one-to-one to glyphs inside the file. A glyph...
3860
Futurist prediction methods and accuracy
I've been reading a lot of predictions from people who are looking to understand what problems humanity will face 10-50 years out (and sometimes longer) in order to work in areas that will be instrumental for the future and wondering how accurate these predictions of the future are. The timeframe of predictions that…
3861
The Strict Aliasing Situation Is Pretty Bad
One thing that works well in practice in cases where you really don’t want to process single bytes at a time is to use a union for going from one type to another. Granted, writing one member of a union and reading from a different one also isn’t allowed per the standard, but every compiler I’ve come across allows it…
3862
Our World in Data: Suicide
Suicide rates can be reduced with greater understanding and support for people at risk.
3863
Speed memory access by arranging data to take advantage of CPU caching
We’ve been lied to. They keep showing us charts where CPU speed goes up and up every year as if Moore’s Law isn’t just a historical observation but some kind of divine right. Without lifting a finger, we software folks watch our programs magically accelerate just by virtue of new hardware.
3864
3865
A National Emergency Library to Provide Digitized Books
To address our unprecedented global and immediate need for access to reading and research materials, as of today, March 24, 2020, the Internet Archive will suspend waitlists for the 1.4 million (and growing) books in our lending library by creating a National Emergency Library to serve the nation’s displaced learners…
3866
Building columnar compression in a row-oriented database
Read how we built a flexible, high-performance columnar compression mechanism for PostgreSQL to add scalability to our favorite database.
3867
RSS Autodiscovery (2006)
RSS autodiscovery is a technique that makes it possible for browsers and other software to automatically find a site's RSS feed, whether it's in RSS 1.0 or RSS 2.0 format.
3868
The first serious infowar is now engaged
by John Perry Barlow Governments of the Industrial World, you weary giants of flesh and steel, I come from Cyberspace, the new home of Mind. On behalf of the future, I ask you of the past to leave us alone. You are not welcome among us. You have no sovereignty where we gather.We have no elected...
3869
WasmGC – Run GC languages such as Kotlin, Java in Chrome browser
There are two types of programming languages: garbage-collected programming languages and programming languages that require manual memory management. With to WebAssembly Garbage Collection, garbage-collected languages can be ported to WebAssembly.
3870
UTC, Tai, and Unix Time (2001)
TAI times are identified by year, month, day, hour, minute, and second. There are exactly 86400 TAI seconds in every TAI day. TAI days are labelled by the Gregorian calendar.