Rising heat threatens female-male ratio of India's unique gharial crocs
news.mongabay.com·1d·
Discuss: Hacker News
🧗Climbing Tech
How we built the worlds fastest VIN decoder
cardog.app·4d·
Discuss: Hacker News, r/programming
👁️System Observability
TimescaleDB 2.21 – 42× Faster DELETEs
tigerdata.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Supernovas AI – All-in-One Tool to Chat with Every Top AI Model and Your Data
supernovasai.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
GitHub Nuked My Account at Midnight During Alpha Release: Why I Rage-Quit to GitLab
reddit.com·4d·
Discuss: r/programming
🍎Apple
I made and opensourced a Chrome extension which helps you not getting caught using ChatGPT by automatically removing emdashes
github.com·4d·
Discuss: r/programming
🍎XNU Internals
The web is my favorite OS
grubz.net·5d·
Discuss: Hacker News
🍎Apple
Show HN: NameFast – Instantly generate brandable names for your SaaS or startup
news.ycombinator.com·6d·
Discuss: Hacker News
🍎Apple
Orchestrating Agentic Coding
brethorsting.com·5d·
Discuss: Hacker News
🤖Program Synthesis
How to set up and run OpenAI’s ‘gpt-oss-20b’ open weight model locally on your Mac
9to5mac.com·3d
🍎Apple
Help me choose between TrueNAS Scale or ZimaOS
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Adversarial Attacks and Defenses on Graph-aware Large Language Models (LLMs)
arxiv.org·1d
🐫OCaml
Integrating Machine Learning with Multimodal Monitoring System Utilizing Acoustic and Vision Sensing to Evaluate Geometric Variations in Laser Directed Energy D...
arxiv.org·3d
👁️System Observability
Telegrapher's Generative Model via Kac Flows
arxiv.org·1d
🐫OCaml
P720 cannot POST with PCIe Intel 225V or 226V 2.5Gbe card
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
Fusion Sampling Validation in Data Partitioning for Machine Learning
arxiv.org·4d
🔠Type-Level Programming
Show HN: XaresAICoder – Open-Source Browser IDE with Claude, Gemini, Aider
github.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Test-time Prompt Intervention
arxiv.org·4d
🎮Verification Games
Driver Assistant: Persuading Drivers to Adjust Secondary Tasks Using Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Anthropic Adds Auto Security Reviews to Claude Code
thenewstack.io·3d
🛡️seL4