Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·1d
🛡️seL4
TierListMaker – Create epic tier list
tierlistmaker.org·10h·
Discuss: Hacker News
🎮Verification Games
Grok Is the New Authority on Truth
humdaan.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: BGRemovePro – A fast background remover for AI-generated images
bgremovepro.com·17h·
Discuss: Hacker News
💾Retro Computing
Alterai
alterai.dev·6h·
Discuss: Hacker News
🌐NetworkProtocols
Evaluating Image Compression Tools
rachelplusplus.me.uk·1d·
Discuss: Hacker News
🔄Reproducible Builds
Does Showing Seconds in the System Tray Use More Power?
lttlabs.com·12h·
Discuss: Hacker News
👁️System Observability
Hiding in plain sight - Mount namespaces
haxrob.net·1d·
Discuss: Hacker News
❄️Nixified Development
The Blitzhire Acquisition
medium.com·6h·
Discuss: Hacker News
🛡️seL4
The Spiritual World
pilledtexts.com·18h·
Discuss: Hacker News
➡️Category Theory
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Ralph Wiggins as a "Software Engineer"
ghuntley.com·1h·
Discuss: Hacker News
🤖Program Synthesis
We Should Stop Making AI Look Human
medium.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·3d·
Discuss: Hacker News
💾Retro Computing
Copyleft-Next Building the NextGen Copyleft License
fossforce.com·1d·
Discuss: Hacker News
🔬Unikernels
Who wants to play with my love hole?
github.com·1d·
Discuss: Hacker News
🐫OCaml
Recursive Reward Aggregation
arxiv.org·1h
🔠Type-Level Programming
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·1h
💻CS
Buying UGREEN NASync DXP2800 as personal NAS
reddit.com·2d·
Discuss: r/homelab
🍎XNU Internals
Prime Day-2 Deals: Apple Watch Series 10 $279, Mac mini $499, M4 iMac $150 off, AirTag $16 ea., Powerbeats Pro 2, more
9to5mac.com·4d
💾Retro Computing