Equivalence via Surjections
golem.ph.utexas.edu·3d
🔀Category Theory
Untitled (https://www.journalofdemocracy.org/articles/how-viktor-orban-wins/)
journalofdemocracy.org·2h
🤝Consensus Networks
Linux Kernel Development Workflow (for n00bs)
andrestc.com·2d
❄️Nix Flakes
Eternal September: The First Internet Flood
brajeshwar.com·1d
📰RSS Archaeology
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·6d
✅Format Verification
WordPress: lost the login: a new setup on the user-table only lasts one (login-)time: then it has to be renewed again...
forums.anandtech.com·1d
🔓Hacking
Man arrested in connection with sexual assault of boy at Loch Ness campsite
the-independent.com·12h
🗃️Database Forensics
Elephants for breakfast
bitfieldconsulting.com·3d
🦀Rust Macros
Storms and Israeli ‘terror cell’ threats: What we know about Greta Thunberg’s blockade-busting Gaza aid flotilla
the-independent.com·18h
🏰Varberg
Environments Hub: A Community Hub to Scale RL to Open AGI
primeintellect.ai·5d·
Discuss: Hacker News
🔓Open Source Software
The Governance of the Root of the DNS
potaroo.net·3d·
Discuss: Hacker News
📡DNS Archaeology
Apple’s Moving Prism Patent Might Impact iPhone Filmmaking
madcornishprojectionist.co.uk·1d
🔬Optical Physics
Rusticl Driver Lands Support For OpenCL Semaphores
phoronix.com·22h
🖥️Terminal Renaissance
Show HN: OpenAI is the new mainframe. I built the 'mouse' for the Personal AI
news.ycombinator.com·3d·
Discuss: Hacker News
🎙️Whisper
Need help with parts for making a NAS
reddit.com·10h·
Discuss: r/homelab
🏠Homelab Preservation
Claude Opus: The AI Powerhouse in Mobile App Development
dev.to·2d·
Discuss: DEV
🔓Open Source Software
ReSURE: Regularizing Supervision Unreliability for Multi-turn Dialogue Fine-tuning
arxiv.org·5d
✨Effect Handlers
This DIY Electronic Device Will Protect Your Home
hackster.io·3d
⚙️DIY Electronics
Algorithmic Fairness Evaluation Framework for Germline Editing Risk Assessment
dev.to·2d·
Discuss: DEV
🌸Bloom Variants
Securing AI Agents: Why Traditional Identity Systems Fail and How to Build for AI
dev.to·3d·
Discuss: DEV
🏢LDAP Forensics