Inside the belly of the beast: A technical walk through Intel's 18A production facility at Fab52
theregister.com·2h
🖥️Terminal Renaissance
Coffee Break: Genes and Disease, Workslop Passing for Science, Nobel News, a Labor Party in the US, and Our Sick Politics
nakedcapitalism.com·1d
📡Information theory
Experiments With Sonnet 4.5's Fiction
lesswrong.com·19h·
Discuss: Hacker News
🔗Concatenative Languages
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Show HN: I built a LSP with its own parser to learn Rust
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
Padding
reddit.com·1d·
Discuss: r/golang
🔧KAITAI
Forecasting the Buzz: Enriching Hashtag Popularity Prediction with LLM Reasoning
arxiv.org·2d
⚖️Feed Ranking
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
How Machine Learning is Reshaping Financial Markets
dev.to·1d·
Discuss: DEV
🧠Machine Learning
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
Build-less manga scanlation workflow: vertical OCR, translation, and layout-preserving typesetting in the browser
dev.to·1d·
Discuss: DEV
🇯🇵Japanese Computing
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
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·6h·
Discuss: DEV
🎵Audio ML
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.org·3d
💻Programming languages