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 ...
Almost everything alive on the surface of this planet runs, ultimately, on sunlight. Plants capture light and turn it into sugar. Animals eat the plants. Other animals eat those animals. Pull the sun out of that equation and nearly every food chain we know collapses within a season. For most of scientific history, this was treated as a basic rule of biology: life needs the sun, if not ...
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 months, including reforming the committer delegation process and onboarding 19 new committers, empowering maintainers by extending the merge bot, re‐establishing contact with ...
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 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.
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.
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.
Almost five years ago I wrote a post (in Italian) about what I jokingly called curlese: the practice of using curl as a universal language when an HTTP integration breaks and you need to figure out whose fault it is.1 The idea was simple: instead of arguing with a provider over log files they don’t want to read, you send them a curl command. It’s self-describing, it’s reproducible, and — ...
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.
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.
AMD acquired AI chip company Taalas, which etches model weights into silicon for faster inference performance. The deal aims to boost AI hardware and compete with Nvidia's dominance in the market.