The Nixpkgs core team has unfortunately decided to disband. We’re proud to have had the opportunity to lead by example in bottom‐up, consensus‐focused governance for Nixpkgs, and of our achievements over the past 10 mon…
Carl Kolon's favorite articles about programming.
Implementation of "guarded methods" using type equality witnesses
Read the Greek and Latin classics in the original — 1,060 works with every word parsed, every form defined, and full dictionary entries from Lewis & Short and LSJ.
Calling all defenders
The Black Hole Mapper reaches a milestone with its first southern hemisphere optical observations, coordinated eROSITA X-ray identification, and multi-epoch tracking of accreting black holes across the universe.
A new report suggests that all three memory manufacturers — Samsung, SK Hynix, and Micron — have collectively sold through their 2027 memory manufacturing capacity to AI companies.
DeepSeek V4 Flash 0731 reasoning variants across ARC-AGI-1, ARC-AGI-2, and ARC-AGI-3.
A lot of people seem to be realizing that knowledge work is mostly pointless. AI might give us the pleasure of finding out what happens if an entire class of workers loses faith in their careers.
Cross-platform network & port scanner with a desktop GUI. - Fix full-scan hang on multi-homed hosts: defaultRoute() with several default routes (fixes #2) by miraholt31 · Pull Request #3 · ancaferro/myNetwork
Psychological warfare in reverse engineering. Contribute to xoreaxeaxeax/REpsych development by creating an account on GitHub.
Racing to the bottom of CPU performance. Contribute to xoreaxeaxeax/asm-hall-of-shame development by creating an account on GitHub.
Meet Mollie, the 10-month-old hamster who’s been logging serious mileage.
Oracle has banned AI-generated code from OpenJDK contributions, citing safety, security, and intellectual property risks. The open-source Java project steward said developers can use LLMs privately for debugging and reviewing code but cannot submit AI-generated material to repositories, pull requests, or other project channels. The policy contrasts sharply with Oracle's internal practices. Co-founder Larry Ellison recently declared that AI models now write Oracle's code, whilst co-CEO Mike Sicilia credited AI tools with enabling smaller engineering teams to deliver faster. Oracle is investing $70 billion this year in datacentre expansion. The spending spree prompted credit agency S&P to downgrade Oracle's rating to BBB-, one notch above j
NASA's Voyager 2 probe, which launched in 1977, can keep operating its last science instruments after a power reduction operation performed in interstellar space.