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 ...
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.
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 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.
The developer of Dark Hours, an astronomy app, was rejected by Apple's App Store due to mistaken association with astrology. The rejection was upheld despite the app's clear distinction from astrology and its high quality design.
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.
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.
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.
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.
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 music generator called beats.bitwrap.io uses Petri nets, a mathematical model of circles and arrows, to create full tracks with drums, bass, and melodies based on music theory and random numbers. The system is flexible and efficient, allowing for polyrhythms, melodies, and control nets to create complex songs with a single primitive carrying concurrency, state, and scheduling.
The IBM 604 Electronic Calculating Punch was a programmable calculator introduced in 1948, using vacuum tubes and capable of processing 100 cards per minute. It was a significant innovation in computing, combining a vacuum tube and its circuitry into a pluggable module, allowing for easy replacement of faulty components.
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.
Hélio Silva transformed an abandoned lawn in São Paulo's East Zone into the Tiquatira Linear Park, a 320,000 square meter green space with 32,000 trees. His initiative, which began with 200 seedlings in 2003, inspired the city to create São Paulo's first linear park in 2007.
The author updated their blogroll to include personal blogs of acquaintances and strangers, shifting focus from news to people's daily lives. They value the authenticity and connection found in personal blogs, which offer a return to human scale and a sense of community.
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.
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.
The Application Binary Interface (ABI) is a concept that affects the compatibility and stability of binary program modules, and its stability is influenced by factors such as CPU instruction sets, operating system, and compiler implementations. The C++ standard does not explicitly specify an ABI, but it has some requirements for compiler implementations, and the Itanium ABI has become a ...
Build harmonious type scales on a skeuomorphic analog control panel. Per-element editing, Google Fonts, live previews, and Figma export.