Sentinel-2 Super Resolution
geodose.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Marines now have an official drone-fighting handbook
marinecorpstimes.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Using Git Worktrees for Development
blog.kulman.sk·2d·
Discuss: Hacker News
❄️Nixified Development
PyDPainter
pydpainter.org·1d·
Discuss: Hacker News
💾Retro Computing
Show HN: I built a FlutterFlow app to track what I own and how often I use it
letsfancy.com·1d·
Discuss: Hacker News
🍎Apple
My ISP wanted my opinion so I gave it to them
drmollytov.dev·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
If You Had a Bad Manager You Appreciate When You have a Good One
newsletter.eng-leadership.com·10h·
Discuss: r/programming
🧗Climbing Tech
An Existential Reflection on Plant Intelligence
worldsensorium.com·1d·
Discuss: Hacker News
🐫OCaml
'Facial recognition tech mistook me for wanted man'
bbc.com·18h·
Discuss: Hacker News
🛡️seL4
ElevenLabs Music
elevenlabs.io·1d·
Discuss: Hacker News
➡️Category Theory
Content-Aware Spaced Repetition
giacomoran.com·2d·
Discuss: Hacker News
🎮Verification Games
People can exploit your social media pictures and so I've made a tool
news.ycombinator.com·10h·
Discuss: Hacker News
🍎Apple
Vibe-coding yourself into irrelevance
osnews.com·4d·
Discuss: Hacker News
🔬Static Analysis
Why build a domain-specific agent for front end tasks?
kombai.com·6d·
Discuss: Hacker News
🔤DSLs
AI Agents have, so far, mostly been a dud
garymarcus.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
LO-Aware Adaptive Modulation for Rydberg Atomic Receivers
arxiv.org·3d
📦Unikernel Systems
Show HN: XaresAICoder – Open-Source Browser IDE with Claude, Gemini, Aider
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Explainable AI Methods for Neuroimaging: Systematic Failures of Common Tools, the Need for Domain-Specific Validation, and a Proposal for Safe Application
arxiv.org·2d
➡️Category Theory
Can Local Contribution-Based Currencies Replace Crypto?
news.ycombinator.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
ReDSM5: A Reddit Dataset for DSM-5 Depression Detection
arxiv.org·1d
🐫OCaml