Hacker News
- With fifth busy beaver, researchers approach computation's limitswww.quantamagazine.org Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turing Machine | Quanta Magazine
After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get.
- A proof of proof by infinite descentrelatedwork.blogspot.com A Proof of Proof by Infinite Descent
WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...
- Conway's Game of Life for curved surfaces (2012)0fps.net Conway’s Game of Life for Curved Surfaces (Part 1)
Conway’s Game of Life is one of the most popular and iconic cellular automata. It is so famous that googling it loads up a working simulation right in your browser! The rules for the Game o…
- When RAND made magic in Santa Monicaasteriskmag.com When RAND Made Magic in Santa Monica—Asterisk
RAND’s halcyon days lasted two decades, during which the corporation produced some of the most influential developments in science and American foreign policy. So how did it become just another think tank?
- Welcome to Ladybird, a truly independent web browserladybird.org Ladybird
We're building Ladybird, a truly independent web browser, backed by a non-profit.
- Why Is Chile So Long?unchartedterritories.tomaspueyo.com Why Is Chile So Long?
Chile is so long, it's curved. How long is it? Why not longer? Why is no other country as thin? How does that make Chileans incomprehensible?
- Diff-pdf: tool to visually compare two PDFsgithub.com GitHub - vslavik/diff-pdf: A simple tool for visually comparing two PDF files
A simple tool for visually comparing two PDF files - vslavik/diff-pdf
- Switzerland mandates software source code disclosure for public sectorjoinup.ec.europa.eu New Open Source law in Switzerland
Switzerland has enacted the "Federal Law on the Use of Electronic Means for the Fulfilment of Governmental Tasks" (EMBAG), establishing a mandatory requirement for open source software within public sector bodies.
- Booting Linux Off of Google Driveersei.net Booting Linux off of Google Drive
Competitiveness is a vice of mine. When I heard that a friend got Linux to boot off of NFS, I had to one-up her. I had to prove that I could create...
- Integrated assembler improvements in LLVM 19maskray.me Integrated assembler improvements in LLVM 19
Within the LLVM project, MC is a library responsible for handling assembly, disassembly, and object file formats. Intro to the LLVM MC Project, which was written back in 2010, remains a good source to
- Weavers and Concluders: Two communication styles (2021)neuroclastic.com Weavers and Concluders: Two Communication Styles No One Knows Exist
People expect that we all have the same communication instincts, but there are at least two communication styles that, without knowledge of them, will result in a lifetime of missed connections.
- A better merge workflow with Jujutsuofcr.se A Better Merge Workflow with Jujutsu | ofcrse by Benjamin Tan
A merge workflow for activating multiple branches simultaneously using Jujutsu, an alternative VCS to Git.
- The cutest monopoly: Koala Karethehustle.co The world’s cutest monopoly
In the age of antitrust, why has Koala Kare, Big Baby Change Station, flown under the radar?
- Working Title (Insurance)www.bitsaboutmoney.com Working title (insurance)
Title insurance is grossly overpriced relative to actual risks involved. Why is that?
- Using SIMD for Parallel Processing in Rustnrempel.com Using SIMD for Parallel Processing in Rust
SIMD (Single Instruction, Multiple Data) is a powerful tool for accelerating data-intensive operations in high-performance computing. While our previous exploration focused on thread-level parallelism with Rayon, SIMD enables parallelism within a single core, simultaneously operating on multiple dat...
- Quantum is unimportant to post-quantumblog.trailofbits.com Quantum is unimportant to post-quantum
By Opal Wright You might be hearing a lot about post-quantum (PQ) cryptography lately, and it’s easy to wonder why it’s such a big deal when nobody has actually seen a quantum computer.…
- Writing HTML by hand is easier than debugging your static site generatorlogicgrimoire.wordpress.com Writing HTML by hand is easier than debugging your static site generator
As someone who has used a static site generator every day at work for years I am on the threshold of believing “actually just writing HTML by hand is probably easier” This becomes obvious when you …
- Getting the World Record in Hatetris (2022)hallofdreams.org Getting the World Record in HATETRIS
HATETRIS is the world's hardest version of Tetris; it's Tetris that hates you. In this post, we chronicle our eleven-month journey to get the world record, and some of our wrong turns along the way.
- Venezuela is first Andean country to lose all of its glacierswww.nbcnews.com 'A great sadness': Venezuela is first Andean country to lose all of its glaciers
Scientists explain the loss of the Humboldt Glacier, the last in the Sierra Nevada, which they believe makes the South American country the first in modern history to lose all its glaciers.
- Pattern of brain damage is pervasive in Navy SEALs who died by suicidewww.nytimes.com Pattern of Brain Damage Is Pervasive in Navy SEALs Who Died by Suicide
A military lab found distinctive damage from repeated blast exposure in every brain it tested, but Navy SEAL leaders were kept in the dark about the pattern.
- Show HN: Edna, note taking app for developersedna.arslexis.io Edna
Edna is a scratchpad and note taking application for developers and power users
- Supreme Court rules ex-presidents have immunity for official actsapnews.com Supreme Court rules ex-presidents have broad immunity, dimming chance of a pre-election Trump trial
The justices rejected Trump's immunity claims in a ruling that left for another day the issue of whether former presidents can ever insulate themselves from criminal charges for officials acts they took while in office.
- Welcome to Ladybirdladybird.org Ladybird
We're building Ladybird, a truly independent web browser, backed by a non-profit.
- Pharma firms stash profits in Europe's tax havenswww.investigate-europe.eu Pharma firms stash profits in Europe's tax havens as patients struggle with drug prices
Investigate Europe finds 15 of the world’s biggest drugmakers operate more than 1,300 subsidiaries in tax havens, as they amassed over €580 billion in global profits over the past five years. Meanwhile, patients face life-threatening delays for medicines due to high drug prices.
- A live ranking of airlines by how much luggage they are losingluggagelosers.com A live ranking of airlines by how much luggage they are losing right now
A live ranking of airlines by how much luggage they are losing right now
- A write-ahead log is not a universal part of durabilitynotes.eatonphil.com A write-ahead log is not a universal part of durability | notes.eatonphil.com
A write-ahead log is not a universal part of durability
- LosslessCut: The Swiss army knife of lossless video/audio editinggithub.com GitHub - mifi/lossless-cut: The swiss army knife of lossless video/audio editing
The swiss army knife of lossless video/audio editing - mifi/lossless-cut