A coalition led by Biohub, the U.S. Department of Energy, and the National Institutes of Health has pledged $1.8 billion to develop open, AI-ready biological datasets. The Virtual Biology Initiative aims to generate the data and tools needed for predictive models of life, involving partners from academia, industry, and philanthropy.
Read full article →Read Rare compiles internal documents, leaked handbooks, and out‑of‑print books from technology leaders, providing free access to items such as Warren Buffett’s 1972 investment letter, the 1968 Intel memo, and Steve Jobs’s 2010 “Holy War with Google” email.
Read full article →The phrase 'vegetative electron microscopy' is not a real scientific technique but an artifact of an optical character recognition error in a 1959 journal article. Its presence in modern papers signals plagiarism, as researchers copy content without noticing the OCR-generated gibberish.
Read full article →A static site accidentally published internal documentation, including an admin bypass parameter and a description of an unfixed payment hole, because the build output directory was set to the repository root. Cache purges failed to remove the stale file as they targeted the wrong layer, and the issue was finally resolved with an edge firewall rule.
Read full article →A team from Kyushu University has developed a virtual reality system that enables immersive experiences without headsets, using aerial imaging optics integrated into a chair with real-time motion tracking to create theater-like views from a compact setup.
Read full article →Next.js 16.4 marks Cache Components as the recommended default for all applications, adds ensureStatic for static guarantees, navigation and prefetch APIs for fine‑grained data loading, and upgrades agent tooling for automated upgrades and feedback.
Read full article →The Mutus Liber, a 1677 alchemical text known as the 'Mute Book' for its sparse text, uses intricate engravings to outline both a laboratory process for creating the Philosopher's Stone and a spiritual path to self-transformation, reflecting the complex legacy of alchemy in early modern Europe.
Read full article →Mathematicians found that the Lean version of OpenAI’s purported proof of the Navier‑Stokes problem is mathematically weaker than the natural‑language original, raising concerns about the reliability of AI‑produced formal proofs amid a large release of similar AI‑generated mathematics.
Read full article →Analysis of Norwegian tax reforms from 2021-2024 finds that while some wealthy individuals left the country, the exodus was small and did not significantly reduce expected tax revenues or harm business investment, suggesting wealth taxation may have lower economic costs than critics claim.
Read full article →A phase 1 clinical trial has started enrolling patients to test a novel small interfering RNA drug designed to reduce the production of the prion protein responsible for fatal neurodegenerative disorders.
Read full article →Despite high fatality rates and a driver shortage, autonomous trucking is advancing through regulatory relaxations, better sensors, and early deployments by firms like Aurora and Kodiak, but widespread use remains limited by the need for human workers in yard operations and a fragmented regulatory landscape.
Read full article →A flaw in Telegram Desktop for Windows lets attackers steal arbitrary files and hijack accounts via a single malicious link, exploiting an unescaped semicolon in inter‑process communication and an unsafe internal URI scheme.
Read full article →The Atari Falcon030, released in late 1992, was Atari Corporation’s last computer product, featuring a Motorola 68030 CPU and a unique Motorola 56000 DSP. Though discontinued in late 1993 to focus on the Jaguar console, it lived on through C-Lab's Falcon Mk I/II versions with audio-friendly Cubase modifications and remains a favorite among hardware modders for its expandability and available accelerators.
Read full article →The Eurydice compiler translates Rust code into readable C code while preserving program structure, enabling Rust programs to be used in environments that require C for verification or lack Rust toolchains.
Read full article →Kiyoshi Kimura, owner of Tokyo's Sushi Zanmai chain, says he traveled to Somalia around 2012 to combat piracy by offering local fishermen an alternative livelihood through tuna fishing, providing boats, training, and a guaranteed market for their catch.
Read full article →ESauron detects hidden spy cameras by sensing electromagnetic radiation emitted from their internal memory during video processing, achieving 100% detection across fifty camera models from over twenty meters away.
Read full article →Jane Street researchers investigated whether diffusion models could generate realistic market data by modeling both continuous and discrete aspects of order book events, finding that flow matching with atom smoothing improved stability but fundamental challenges remain.
Read full article →Prime Agent, a coding agent harness, has been rewritten from TypeScript to Rust using its own multi-agent system, achieving roughly 14x faster start‑up latency and over 80% lower memory usage while introducing modularity, session isolation, and beta Windows support.
Read full article →A review of 23 foundational open source projects reveals that eleven are maintained by only one or two regular contributors, with some critical tools like xz, sudo and the time zone database depending largely on single individuals despite deployment on billions of devices.
Read full article →The Lean theorem prover, rooted in type theory and backed by a massive formal library called mathlib, has enabled rapid advances in autoformalization using AI, while recent soundness bugs in its kernel have highlighted the need for continued verification and human oversight.
Read full article →
terrytao.wordpress.com
