China breakthrough in indium selenide (InSe) wafers with perfect stoichiometry
news.cgtn.com·8h·
Discuss: Hacker News
💾Retro Computing
Show HN: TrueSift – AI-Powered Real-Time Fact-Checking Chrome Extension
truesift.dev·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Coffeezilla, the YouTuber Exposing Crypto Scams (2022)
newyorker.com·17h·
Discuss: Hacker News
🎮Verification Games
Front End Assets in Ruby on Rails Through the Years
cassey.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Flowchart AI – Write English, get a flowchart
flowchartai.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·3d·
Discuss: Hacker News
🔬Static Analysis
Selling your digital soul to use Bluesky's DMs isn't just a bad idea, it's the law
theregister.com·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·4d·
Discuss: Substack
🎮Verification Games
Engine Data Displayed Live On Dash
hackaday.com·23h
👁️System Observability
Two Simple Rules to Fix Code Reviews
serce.me·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔄Reproducible Builds
The Conspiracy of Reason
medium.com·2d·
Discuss: Hacker News
➡️Category Theory
Kubernetes homelab v1
reddit.com·18h·
Discuss: r/homelab
⎈Kubernetes
Speeding Up My ZSH Shell
scottspence.com·18h·
Discuss: Hacker News
💾Retro Computing
Convergent transformations of visual representation in brains and models
arxiv.org·6h
➡️Category Theory
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·1d·
Discuss: Hacker News
🐫OCaml
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·3d
📡Network Protocol Design
CaSTFormer: Causal Spatio-Temporal Transformer for Driving Intention Prediction
arxiv.org·6h
🏹Effect Systems
Cross-modal Causal Intervention for Alzheimer's Disease Prediction
arxiv.org·6h
🏹Effect Systems
A code quality battle between 6 AI agents
sourcery.ai·6d·
Discuss: Hacker News
👁️System Observability
Frequently Asked Questions about FHE
jeremykun.com·2d·
Discuss: Lobsters, Hacker News
🔤DSLs