Show HN: Train – AI Workout Companion That Helps You Train Smarter
train-fit.vercel.app·2d·
Discuss: Hacker News
🍎Apple
How we made JSON.stringify more than twice as fast
v8.dev·6d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🔬Static Analysis
Our vision for the future of identity security? It's already in motion
oleria.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Visual Vibe Coding – Bridge live browser context with IDE for visual prompting
testchimp.io·4d·
Discuss: Hacker News
👁️System Observability
Intel CEO responds to Trump resignation call with letter to employees
9to5mac.com·1d
🍎Apple
Ditching GitHub
tomscii.sig7.se·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
TSMC to go 3D with wafer-sized processors
tomshardware.com·1d·
Discuss: Hacker News
💾Retro Computing
Memory in Agents, Make LLMs remember.
philschmid.de·6d·
Discuss: Hacker News
⚙️Operating System Design
Dear CEO: A Love Letter to Your AI Revolution
medium.com·3d·
Discuss: Hacker News
👁️System Observability
Outlier Detection Algorithm for Circle Fitting
arxiv.org·2d
👁️System Observability
Transferring Expert Cognitive Models to Social Robots via Agentic Concept Bottleneck Models
arxiv.org·2d
🔄Finite State Machines
Human Bias in the Face of AI: Examining Human Judgment Against Text Labeled as AI Generated
arxiv.org·2d
✓Automated Theorem Proving
Advices for my new server build
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
When a journalist uses AI to interview a dead child, isn’t it time to ask what the boundaries should be? | Gaby Hinsliff
theguardian.com·1d·
Discuss: Hacker News
🍎Apple
Are you in a mid-career to senior job? Don’t fear AI – you could have this important advantage
theconversation.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Slack-GitHub Threads – Post Slack Thread Replies as GitHub Comments
github.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Secure deployment platform for AI-generated code and internal tools
news.ycombinator.com·4d·
Discuss: Hacker News
🛡️seL4
Hybrid Quantum Classical Surrogate for Real Time Inverse Finite Element Modeling in Digital Twins
arxiv.org·5d
🏹Effect Systems
Actionable Counterfactual Explanations Using Bayesian Networks and Path Planning with Applications to Environmental Quality Improvement
arxiv.org·4d
✓Automated Theorem Proving
Choosing Between Two Mini-PCs for Home Lab - And Whether to Add a NAS? Need Advice!
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab