🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

I Stand Corrected
jessecmckeown.tumblr.com¡3d
⚔ī¸Lean Theorem
Sequential
inkdroid.org¡4d
ℹī¸Information Theory
Vulnerabilities in OpenSolution Quick.CMS and Quick.CMS.Ext software
cert.pl¡8h
đŸ’ŖZIP Vulnerabilities
Seven Weeks in San Francisco
shloked.com¡36m¡
Discuss: Hacker News
đŸ“ŧCassette Culture
Show HN: Serverless platform for running voice AI agents
blog.livekit.io¡43m¡
Discuss: Hacker News
🌊Streaming Systems
The Hidden Costs of Coding With Generative AI
sloanreview.mit.edu¡2d¡
Discuss: Hacker News
⚡Incremental Computation
FPGA snake!
hackster.io¡10h
⚡Homebrew CPUs
How to share pointers between different address spaces
medium.com¡1d¡
Discuss: Hacker News
💾Memory Mapping
Nostr and Buildbook: Proof-of-Work Portfolios and Cross-Org Code Reviews
news.ycombinator.com¡45m¡
Discuss: Hacker News
🔄Reproducible Builds
Technologies to use for a web app
reddit.com¡3d¡
Discuss: r/golang
🔄Reproducible Builds
Pushing the Limits of Frequency Analysis in Leakage Abuse Attacks
arxiv.org¡2d
đŸŒŗArchive Merkle Trees
Render any Git repo into a single static HTML page for humans or LLMs
github.com¡7h¡
Discuss: Hacker News
đŸ“ĻGit LFS
A Feasibility Experiment on the Application of Predictive Coding to Instant Messaging Corpora
arxiv.org¡2d
🧠Machine Learning
Swarm-in-Blocks: Simplifying Drone Swarm Programming with Block-Based Language
arxiv.org¡2d
🤝Consensus Protocols
Breaking Reward Collapse: Adaptive Reinforcement for Open-ended Medical Reasoning with Enhanced Semantic Discrimination
arxiv.org¡1d
🔲Cellular Automata
My Favorite Productivity Tools for Software Developers: How I Stay afloat
dev.to¡19h¡
Discuss: DEV
🔩Systems Programming
In-hoc Concept Representations to Regularise Deep Learning in Medical Imaging
arxiv.org¡15h
🧠Machine Learning
Debian Preseed Notes - Classes
blog.raymond.burkholder.net¡3d
🔌Operating system internals
Show HN: FilterQL – A tiny query language for filtering structured data
github.com¡6d¡
Discuss: Hacker News
✅Format Verification
Yet another algorithmic bias: A Discursive Analysis of Large Language Models Reinforcing Dominant Discourses on Gender and Race
arxiv.org¡5d
🏛Digital humanities