Show HN: QuickShelf – Stop opening Finder just to drag files
quickshelf-app.slowlab.dev·19h·
Discuss: Hacker News
⚙️systems programming
XpressReal T3 Compact SBC with Realtek RTD1619B Runs Chromium OS Variant
linuxgizmos.com·23h·
Discuss: Hacker News
🔄compilers
I built SelectToSearch to reduce my clicks by 85% when needing AI search
apps.apple.com·7h·
Discuss: Hacker News
⚙️systems programming
Nonlinear response of gyroid infills for prediction of effective yield strength
link.springer.com·1d·
Discuss: Hacker News
⚙️systems programming
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org·2d·
Discuss: Hacker News
✅formal methods
Object Packing
nms.ac.uk·11h·
Discuss: Hacker News
✅formal methods
How Boom uses software to accelerate hardware development
bscholl.substack.com·1d·
Discuss: Substack
⚙️systems programming
The Soft Architecture of Meaning: Language Against Entropy
medium.com·2d·
Discuss: Hacker News
✅formal methods
Tokenization in Large Language Models
seantrott.substack.com·3d·
Discuss: Substack
✅formal methods
Show HN: I built an open-source workout tracker app in 4 days with Claude Code
github.com·5h·
Discuss: Hacker News
⚙️systems programming
The Replication Engine
ifp.org·5h·
Discuss: Hacker News
⚙️systems programming
81% of people more wary of dependencies due to AI
tosbourn.com·14h·
Discuss: Hacker News, r/programming
⚙️systems programming
Requiem for a 10x Engineer Dream
architecture-weekly.com·15h·
Discuss: Hacker News, r/programming
⚙️systems programming
IBM and Moderna have simulated the longest mRNA pattern without AI — they used a quantum computer instead
livescience.com·2d·
Discuss: Hacker News, r/technews
✅formal methods
Decentralized Proof-of-Location systems for trust, scalability, and privacy
nature.com·6h·
Discuss: Hacker News
✅formal methods
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·3d·
Discuss: Hacker News
🗄️databases
Generate AWS Architecture Diagrams with Amazon Q
awsfundamentals.com·1d·
Discuss: Hacker News
⚙️systems programming
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·2d·
Discuss: Hacker News
⚙️systems programming
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·2d·
Discuss: Hacker News
⚙️systems programming
Tune self-correct SQL agent with RL: AgentLightning+verl+vLLM+AgentOps+LangGraph
medium.com·17h·
Discuss: Hacker News
⚙️systems programming