I'm Back, Bb
littlefeelings.substack.com·1d·
Discuss: Substack
🧮Lambda Calculus
Pope Leo XIV declares teen computer whiz Carlo Acutis the first millennial saint
apnews.com·2d·
Discuss: Hacker News
⚡Process Calculi
Searching Places Unknown: Law Enforcement Jurisdiction on the Dark Web (2017)
scholarship.law.bu.edu·2d·
Discuss: Hacker News
🌐NetworkProtocols
The Ghost and the Princess
laphamsquarterly.org·3d·
Discuss: Hacker News
🔬Unikernels
Underdog bias rules everything around me
mindthefuture.info·3d·
Discuss: Hacker News
🎮Verification Games
Procedural Island Generation
brashandplucky.com·5d·
Discuss: Hacker News
💎Refinement Types
The Startup Killer Nobody Talks About: Domain Negotiations
brandhunt.com·2d·
Discuss: Hacker News
🍎Apple
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·6d·
Discuss: Hacker News
🔤DSLs
Why Todays Identity and Access Management Can't Survive the AI Age
identityfusion.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Strawman Fallacy
en.wikipedia.org·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Beer income ideas for a laid-off Nepali Jr.IT support?
news.ycombinator.com·1d·
Discuss: Hacker News
🐳Containerization
macOS Tahoe 26 now available, here’s what to test first
9to5mac.com·1d
🍎Apple
UltrON: Ultrasound Occupancy Networks
arxiv.org·5d
📦Unikernel Systems
Understanding Log Events: Why Context Is Key
thenewstack.io·5d
📊Runtime Verification
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
The Impact of AI on Engineering Teams
newsletter.eng-leadership.com·6d·
Discuss: r/programming
👁️System Observability
Show HN: EZLive – lightweight serverless self-hosted livestream
github.com·3d·
Discuss: Hacker News
🏠HomeLab
Maximally Useful and Minimally Redundant: The Key to Self Supervised Learning for Imbalanced Data
arxiv.org·6d
🧩Parser Combinators
AuraSight: Generating Realistic Social Media Data
arxiv.org·5d
🎮Verification Games
Unidimensional semi-discrete partial optimal transport
arxiv.org·6d
🔠Type-Level Programming