How Science may help us smell the past (2017)
cen.acs.org·1h·
Discuss: Hacker News
💾Retro Computing
Show HN: Learn Complete French Grammar for Free
learncompletefrench.netlify.app·11h·
Discuss: Hacker News
✓Automated Theorem Proving
Libfive: Solid modeling (CAD) library/tools with Scheme/Python bindings and GUI
libfive.com·2d·
Discuss: Hacker News
🔬Static Analysis
Are all residential proxy services criminal organizations?
hcaptcha.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Things I Know
usefulfictions.substack.com·15h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Why Not Matrix (2024)
benharri.org·2d·
Discuss: Hacker News
🛡️seL4
Sources of Truth – By John Cutler
cutlefish.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
MetaCPAN's Traffic Crisis: An Eventual Success Story
perl.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Anything You Can Do, I Can Do Meta (2007)
technologyreview.com·1d·
Discuss: Hacker News
💾Retro Computing
The LumenPnP Pasting Utility: Never Buy Solder Stencils Again?
hackaday.com·9h
🐫Embedded OCaml
Solving the MIT Inverse Problem by Considering Skin and Proximity Effects in Coils
arxiv.org·2d
🎮Verification Games
Looking for US-based colocation or residential host for LTE router or Raspberry Pi (Wyoming/Midwest preferred)
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Watermarking Large Language Model-based Time Series Forecasting
arxiv.org·2d
🐫OCaml
My hyperconverged homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Why Generative AI Needs A New Kind of Security Solution
thenewstack.io·1d
🖥️Self-hosted Infrastructure
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·2d
🐫OCaml
Show HN: PassiveCraft – AI Converts Social Media into Digital Products
news.ycombinator.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Geometric Operator Learning with Optimal Transport
arxiv.org·2d
💻CS
Learning Only with Images: Visual Reinforcement Learning with Reasoning, Rendering, and Visual Feedback
arxiv.org·2d
🎮Verification Games
Efficient Self-Supervised Neuro-Analytic Visual Servoing for Real-time Quadrotor Control
arxiv.org·2d
🔄Finite State Machines