🔤 Type Theory

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

Obrysy – Type Studio
obrysy.xyz·3d
📜Binary Philology
Japan Launches its First Homegrown Quantum Computer
hardware.slashdot.org·18h
⚛️Quantum Circuits
The Cost of Transparency: Living with Schizoaffective Disorder in Tech
kennethreitz.org·12h·
Discuss: Hacker News
🔐Capability Systems
An Interview with Ashley Rose Young, Curator of American History
blogs.loc.gov·4h
📚MARC Archaeology
Ask HN: Best foundation model for CLM fine-tuning?
news.ycombinator.com·14h·
Discuss: Hacker News
🌀Brotli Internals
Tracking the number of Americans who identify as transgender: Soon, there will be no reliable way to measure them
phys.org·6h
📊HyperLogLog
New research claiming passkeys can be stolen is pure nonsense
arstechnica.com·12h·
Discuss: Hacker News
🔓Hacking
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·4d·
Discuss: Lobsters, Hacker News, r/programming
⚡Cache Coherence
RP2040 Assembly Language Mix and Match
hackaday.com·3d
🔧RISC-V Assembler
Multi-User SLNR-Based Precoding With Gold Nanoparticles in Vehicular VLC Systems
arxiv.org·3d
⚛️Quantum Codecs
So You Want to Build an Open Source Alternative to ChatGPT for Teams
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Avoiding the AI Agent Reliability Tax: A Developer’s Guide
thenewstack.io·2d
💾Persistence Strategies
How Agentic Protocols Are Redefining the Future of AI Development?
dev.to·2d·
Discuss: DEV
⚙️TLA+
'ZipLine' Phishers Flip Script as Victims Email First
darkreading.com·1d
🔓Hacking
Why “All-in-One” Productivity Tools Fail (and What Actually Works)
dev.to·19h·
Discuss: DEV
🎯Content Recommendation
This embedded database runs SQL on dataframes meet DuckDB
dev.to·12h·
Discuss: DEV
🗄️Database Internals
Build an AI Image-to-Video Creator App with Next.js and Eachlabs
dev.to·1d·
Discuss: DEV
🎬WebCodecs
A Minimalistic Approach to Predict and Understand the Relation of App Usage with Students' Academic Performances
arxiv.org·2d
🧠Machine Learning
Lightning Talk: K0s at the Edge: Minimal Kubernetes, Maximum Impact - Satyam Bhardwaj, Mirantis
youtube.com·2d
🌊Streaming Systems
Crafting Your Own AI Agent with Symfony: A 11-Minute Guide 🚀
dev.to·3d·
Discuss: DEV
📰Feed Readers