TierListMaker – Create epic tier list
tierlistmaker.org·15h·
Discuss: Hacker News
🎮Verification Games
Grok Is the New Authority on Truth
humdaan.com·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: BGRemovePro – A fast background remover for AI-generated images
bgremovepro.com·21h·
Discuss: Hacker News
💾Retro Computing
How Digital Is Germany?
mertbulan.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Alterai
alterai.dev·10h·
Discuss: Hacker News
🌐NetworkProtocols
The Blitzhire Acquisition
medium.com·10h·
Discuss: Hacker News
🛡️seL4
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·5h·
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
Buying UGREEN NASync DXP2800 as personal NAS
reddit.com·2d·
Discuss: r/homelab
🍎XNU Internals
Recursive Reward Aggregation
arxiv.org·6h
🔠Type-Level Programming
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
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·6h
💻CS
Multi-modal Mutual-Guidance Conditional Prompt Learning for Vision-Language Models
arxiv.org·6h
🔄Finite State Machines
Leak reveals new iPhone 17 color lineup, here’s what’s coming
9to5mac.com·2d
🍎XNU Internals
Portable Biomechanics Laboratory: Clinically Accessible Movement Analysis from a Handheld Smartphone
arxiv.org·6h
🧗Climbing Tech
Fine-tuning ORBGRAND with Very Few Channel Soft Values
arxiv.org·6h
🐫OCaml
Following hiccup, macOS Tahoe 26 developer beta 3 is now available for Apple Silicon Macs
9to5mac.com·6d
💾Retro Computing