Show HN: QuickShelf – Stop opening Finder just to drag files
quickshelf-app.slowlab.dev·1d·
Discuss: Hacker News
⚙️systems programming
XpressReal T3 Compact SBC with Realtek RTD1619B Runs Chromium OS Variant
linuxgizmos.com·1d·
Discuss: Hacker News
🔄compilers
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
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·1d·
Discuss: Hacker News
✅formal methods
Object Packing
nms.ac.uk·17h·
Discuss: Hacker News
✅formal methods
Tokenization in Large Language Models
seantrott.substack.com·3d·
Discuss: Substack
✅formal methods
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
AI-Powered Interview Question Generator
nextrounds.ai·15h·
Discuss: Hacker News
⚙️systems programming
Decentralized Proof-of-Location systems for trust, scalability, and privacy
nature.com·11h·
Discuss: Hacker News
✅formal methods
Generate AWS Architecture Diagrams with Amazon Q
awsfundamentals.com·1d·
Discuss: Hacker News
⚙️systems programming
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·2d·
Discuss: Hacker News
⚙️systems programming
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·2d·
Discuss: Hacker News
⚙️systems programming
K0rdent v1.0: Manage Distributed Infrastructure at Scale with Kubernetes
cncf.io·20h·
Discuss: Hacker News
⚙️systems programming
Tune self-correct SQL agent with RL: AgentLightning+verl+vLLM+AgentOps+LangGraph
medium.com·22h·
Discuss: Hacker News
⚙️systems programming
The current state of LLM-driven development
blog.tolki.dev·2d·
Discuss: Hacker News
✅formal methods
ISPC: Implicit SPMD Program Compiler
github.com·1d·
Discuss: Hacker News
⚙️systems programming
Not So Direct I/O
jmcph4.dev·2h·
Discuss: Hacker News
⚙️systems programming
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·3d·
Discuss: Hacker News
🗄️databases
My take on Send and Sync
blog.cuongle.dev·4d·
Discuss: Lobsters, Hacker News
⚙️systems programming