Nixpkgs core team disbanded after 10 months, leaving a legacy of governance reforms and new committer onboarding. Key achievements include process reforms, new committer additions, and infrastructure upgrades.
NASA made a power-saving tweak to Voyager 2, called the 'Big Bang', to extend its lifespan by a year. The tweak reduced power requirements by turning off non-essential devices and using lower-power alternatives to keep the spacecraft warm.
At max effort, DeepSeek V4 Flash 0731 scores 89.0% on ARC-AGI-1 Semi-Private at $0.02 per task and 61.4% on ARC-AGI-2 Semi-Private at $0.04 per task.
Researchers are finding the slowest single instructions on CPUs by using various techniques such as starving the PCIe fabric, loading large amounts of data from high-latency MMIO regions, and leveraging microcode assists.
A complete parsing reader for the classical canon. Click any word in any text for its lemma, morphology, and full dictionary entry — Lewis & Short for Latin, Liddell-Scott-Jones for Greek. 1060 works · 293 Latin · 767 Greek · 140 authors · browse the full A–Z index
Knowledge Workers are increasingly disillusioned with their careers, feeling a sense of existential angst and questioning the point of their work, as AI threatens to automate many tasks and make their jobs seem meaningless. This disillusionment could lead to a paradigm shift, where workers start to value the human experience of work over the appearance of productivity, and seek to create ...
SuperDuper 4 is a major update with a new design, faster performance, and more features. It offers improved copy jobs, scheduling, and support for various file systems, as well as new shortcuts and rules for customization.
Thijs de Buck, an MRI physicist, built a speed and distance tracker for his hamster Mollie's wheel, uploading data to Mollie's Strava account. Mollie has logged over 10 kilometers per night, with a record of 10.8 kilometers, and has gained thousands of likes and followers on Strava.
Companies are facing exponentially growing costs from AI coding tools, but several large-scale adopters have converged on approaches to manage costs while maintaining access to AI tooling. Techniques such as adopting newer, more efficient models, using meta-harnesses, and routing work to the cheapest capable model can help reduce costs while preserving productivity gains.
The Sloan Digital Sky Survey (SDSS) released Data Release 20 (DR20), marking a milestone in the study of accreting supermassive black holes. DR20 includes over 3.3 million optical spectra, providing unprecedented insights into black hole masses, growth, and physics across cosmic time.
Oracle banned AI-generated code from OpenJDK contributions due to safety, security, and intellectual property risks. This policy contrasts with Oracle's internal use of AI models for coding, despite investing $70 billion in datacentre expansion.
RAM prices are expected to rise due to sold-out 2027 capacity to AI companies through long-term purchasing agreements. NAND storage is also in high demand, with SSD prices increasing, potentially leading to further price hikes in the near future.
Retired General Paul Nakasone says US water systems need better cyber defense due to recent hacks, likely by Iran, targeting operational technology devices. He suggests partnerships and a more involved approach to defend the 50,000 US water municipalities.
Guarded methods allow attaching constraints to the receiver (self) for certain methods, enabling them to be called only if the receiver satisfies those constraints. In OCaml, guarded methods can be encoded using a type equality witness, specifically the eq type with the Refl constructor, which represents type equalities not known by the type-checker.
The pgrust query engine is 10x faster than the previous version and outperforms Postgres by 30% on OLTP benchmarks and 300x on Clickbench. Optimizations such as batching, operator fusion, and SIMD enabled pgrust to achieve these performance gains, with the goal of further improving performance through JIT compilation.
The REpsych toolset generates images from a program's control flow graph, translating source images into functioning programs. It works reliably with IDA Pro and semi-reliably with other CFG viewers, creating two programs for each image.
The author shares a list of recommended articles on software development, including topics such as complexity, Separation of Concerns, and accessibility, with the goal of helping programmers create good software. The articles cover various aspects of software development, including React, ORMs, PostGIS, async programming, and design principles, and are intended for programmers of all levels.
Cloudflare has developed a new browser called Kitesurf, designed specifically for AI agents and automation tasks, which is more efficient in CPU and memory consumption than Chromium. Kitesurf is built on top of Cloudflare Workers and uses AI to accelerate the development process, with a focus on scalability, performance, and cost-effectiveness.
A new study suggests that life may have emerged twice, with bacteria and archaea independently developing metabolism and becoming free-living cells. This challenges the traditional view of a single origin of life, with two separate lineages evolving from a primordial soup.
This repository contains a reproducible environment for reverse-engineering the 1990s DOS game Captain Bible, including a clean-room engine specification and tools for static and dynamic analysis. The project includes documentation, research notes, and a published book on the game's mechanics and formats.
Textlog is a simple social platform for short notes, following people and hashtags, and joining conversations without performance pressure. It's free, public, and easy to use, with a focus on straightforward sharing and community respect.
A New Mexico court ordered Meta to pay $567m into a fund to address mental health impacts from its platforms. The ruling brings the total amount Meta is responsible for to $942m, with $420m going towards treatment services for young people in New Mexico.
Wyzer is a statically typed, compiled language with integrated distributed safety via choreographic programming and a perceus memory model. It uses a single ownership rule to manage memory, threads, and networks safely without a garbage collector or complex borrow checker.
Robert Guilbert Sr invented a competitive crossword game called Pago Pago in 1986, but details are unclear. A Möbius-strip crossword puzzle was proposed but proved difficult to create due to letter symmetry constraints.
Customer's PDF had invisible minus signs due to gray level matching background. To convert it properly, consider using OCR on PNG files or adding code to store text color.
Native C++23 module support — import std handled automatically, file-level incremental builds, automatic module dependency analysis, zero manual configuration Pure modular self-hosting — mcpp itself consists of 43+ C++23 modules and builds itself; the module pipeline is battle-tested Works out of the box — one-command install, bundled GCC 16 / LLVM 20 toolchains downloaded into an isolated ...