Building Freebsd Ports
blog.bapt.name·23h
✅Lean Theorem Prover
Flag this post
The Fear Around AI
zzzptm.com·17h
🛡️Memory Safety
Flag this post
Deadbug – Nick-E.com
nick-e.com·1d
💻Programming
Flag this post
The Treachery of Image Files
beyondloom.com·1d
💻Programming
Flag this post
roosnaflak.com/tech-and-research/transitioning-to-pipewire/#access-all-your-i-os
roosnaflak.com·16h
🏗️Compiler Design
Flag this post
Natural gas may contribute to climate change as much as coal, a study says. : NPR
npr.org·1d
✅Lean Theorem Prover
Flag this post
~hush's gemlog
tilde.town·4d
🛡️Memory Safety
Flag this post
Dynamics in Jordan Algebras
golem.ph.utexas.edu·1d
✅Lean Theorem Prover
Flag this post
Expert Communication Coach for Professionals, One-to-One
togetherlondon.com·20h
✅Lean Theorem Prover
Flag this post
Bye, Google Search
tbray.org·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·4d
🔍Static Analysis
Flag this post
Never Use Text Pixelation To Redact Sensitive Information | Bishop Fox
bishopfox.com·2d
🔍Static Analysis
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·6d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
The Tilbury Shelter | UCL The Survey of London
blogs.ucl.ac.uk·2d
🔍Static Analysis
Flag this post
The Federal Reserve's Meeting Starts Today—Here's What You Need to Know - Investopedia
scour.ing·6d
💻Programming
Flag this post
A Short Introduction to Categorical Logic
youtube.com·5d
✅Lean Theorem Prover
Flag this post
Taking steps to end abusive traffic from cloud providers
anubis.techaro.lol·3d·
Discuss: Hacker News
🛡️Memory Safety
Flag this post
Your One-Year Muscle Building Calisthenics Template to Go from Beginner to Advanced at Any Age – Form Is Everything
formiseverything.com·6d
💻Programming
Flag this post
Free software scares normal people
danieldelaney.net·4d·
Discuss: Hacker News
💻Programming
Flag this post
Caddy snippets for static sites
willnorris.com·5d
🔍Static Analysis
Flag this post