Can You Box the Letters?
thefiddler.substack.comยท2dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
Final stage of Spain's Vuelta abandoned after police clash with pro-Palestinian protesters
france24.comยท6h
โœจAlgebraic Effects
New VS Code extension to run all frontier open models
marketplace.visualstudio.comยท3dยท
Discuss: Hacker News
๐Ÿ”ŒArchive APIs
Gauss, an Agent for Autoformalization
math.incยท3dยท
Discuss: Hacker News, Hacker News, Hacker News
๐Ÿ›๏ธAgda
AI Assistant for Statements, Invoices and Receipts
bankgpt.ioยท2dยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
The PDF That Broke ChatGPT
surgehq.aiยท2dยท
Discuss: Hacker News
๐Ÿ“„PostScript
Issue 489
haskellweekly.newsยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
"Incorruptible": Albania set to become first country to appoint AI as minister
heise.deยท2d
๐Ÿ“กInformation theory
You're going to need a new charger to get the fastest possible iPhone 17 Pro charging speeds
techradar.comยท12h
๐Ÿ“กBluetooth Archaeology
AI Coding
geohot.github.ioยท3dยท
Discuss: Lobsters, Hacker News, Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Curis, Inc. (CRIS) Presents At Cantor Global Healthcare Conference 2025 Transcript
seekingalpha.comยท2d
๐Ÿ“กRSS
[D] Math foundations to understand Convergence proofs?
reddit.comยท3dยท
Discuss: r/MachineLearning
๐ŸŽฏPerformance Proofs
Design of Reliable and Resilient Electric Power Systems for Wide-Body All-Electric Aircraft
arxiv.orgยท2d
โšกCircuit Design
Show HN: Nano2Image โ€“ Turn prompts and reference photos into images (no signup)
nano2image.comยท2dยท
Discuss: Hacker News
โŸทBidirectional Programming
Depth-Bounded Epistemic Planning
arxiv.orgยท3d
๐Ÿ“Linear Logic
Dicio: Open-Source Voice Assistant for Android
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Scaling Law for Large-Scale Pre-Training Using Chaotic Time Series and Predictability in Financial Time Series
arxiv.orgยท6d
๐Ÿง Machine Learning
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.orgยท5d
๐Ÿค–Advanced OCR
AI is amazing โ€” but let's keep our critical thinking on
dev.toยท4dยท
Discuss: DEV
๐Ÿ”„Language Evolution
Exploring Generative AI: From Curiosity to Creation
dev.toยท4dยท
Discuss: DEV
๐Ÿค–Grammar Induction