2015
view article2014
view article2004
view article1990
view article1978
view article1977
view article1973
view article1969
view article1968
view article1967
view article1964
view article1961
view article1954
view article1944
view article1942
view article1940
view article1920
view article1918
view article1906
view article1900
view article1898
view article1889
view article1876
view article1868
view article1814
view article1806
view article1792
view article1779
view article1724
view article1704
view article1650
view article1536
view article1532
view article1521
view article1516
view article1099
view article900
view article871
view article554
view article-29
view articleNotes on Chapter 1 of Principia Mathematica
Guillaume Técher — Personal website
Building a SPA (Single-page Application) is a complex puzzle: a JavaScript framework that draws the view, an API serving JSON, and 2 independent…
Measuring frontier model ability to discover new materials for the semiconductor industry — candidates verified by DFT and attempted in a real lab.
Tailscale and SQLite developers traced maddening corruption incidents to find the WAL-Reset data race, then uncovered a second stale expression index bug.
Sensible Softwares legendariske bananskru – er klassikeren like god som vi husker den? Vi tester MicroProse Soccer i 2026.
A celebration into the IBM PC, the Model F/XT keyboard, where it came from and what it became,A celebration into the IBM PC, the Model F/XT keyboard, where it came from and what it became
Splitting a finished branch into small PRs used to be the expensive part, so we decided the boundaries before the code existed. That cost collapsed. Now the code can tell you where to cut it.
A viral TikTok sardine diet and warming oceans have collided to create a real canned-sardine shortage — and it's not ending soon.
DeepSeek V4 Pro 0813 is a large-scale mixture-of-experts model from DeepSeek. $0.435 per million input tokens, $0.87 per million output tokens. 1,048,576 token context window, maximum output of 384,000 tokens. Includes independent benchmarks from Artificial Analysis.
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
Grok 4.6 builds on Grok 4.5 with a particular focus on long-running agents and more ambitious interactive and visual work.
From the Zed Blog: A multiplayer environment for coding with agents, from the creators of Zed.
A continuously updating analysis of bot vs. human traffic, AI scraping, fetching, search indexing, browsing, robots.txt compliance, and AI chat referrals across 5,000+ websites.