Inside the belly of the beast: A technical walk through Intel's 18A production facility at Fab52
theregister.comΒ·4hΒ·
Discuss: Hacker News
πŸ–₯️Terminal Renaissance
A New Algorithm Makes It Faster to Find the Shortest Paths
wired.comΒ·1hΒ·
Discuss: Hacker News
πŸ•ΈοΈNetwork Topology
Experiments With Sonnet 4.5's Fiction
lesswrong.comΒ·21hΒ·
Discuss: Hacker News
πŸ”—Concatenative Languages
Three ways formally verified code can go wrong in practice
buttondown.comΒ·1dΒ·
πŸ“œProof Carrying Code
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.spaceΒ·1dΒ·
Discuss: Hacker News
πŸ”—Concatenative Languages
Show HN: I built a LSP with its own parser to learn Rust
github.comΒ·1dΒ·
Discuss: Hacker News
⚑Dependent Rust
The Porcelain to Come
stackdiver.comΒ·1dΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
Padding
reddit.comΒ·1dΒ·
Discuss: r/golang
πŸ”§KAITAI
Average Controlled and Average Natural Micro Direct Effects in Summary Causal Graphs
arxiv.orgΒ·2d
✨Effect Handlers
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.orgΒ·2d
πŸŒ€Differential Geometry
Physics-informed AI excels at large-scale discovery of new materials
phys.orgΒ·1d
🧠Machine Learning
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.orgΒ·4d
🎯Performance Proofs
Randomized and quantum approximate matrix multiplication
arxiv.orgΒ·2d
πŸ”Quantum Cryptography
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.orgΒ·2d
πŸ’»Local LLMs
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“ŠMulti-vector RAG
How Machine Learning is Reshaping Financial Markets
dev.toΒ·1dΒ·
Discuss: DEV
🧠Machine Learning
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.caΒ·1dΒ·
Discuss: Hacker News
⚑Proof Automation
Exposing Citation Vulnerabilities in Generative Engines
arxiv.orgΒ·3d
πŸ“œDigital Philology