🔤 Type Theory

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

Shaneé Yvette Willis to join CLIR as the new Senior Program Officer for DLF
diglib.org·17h
📜Digital Philology
ELA-1503-1 unbound security update
freexian.com·1d
🛡️eBPF Security
Linux Turns 34
linux.slashdot.org·7h
🔌Operating system internals
How language is hiding the real internet from you
bbc.com·2d·
Discuss: Hacker News
🏛Digital humanities
Making Cut-Ups Like William Burroughs
williamfrancistucker.com·4d·
Discuss: Hacker News
📝Concrete Syntax
AI browsers could leave users penniless: A prompt injection warning
malwarebytes.com·13h
🚀Indie Hacking
Two wrongs don’t make a copyright
theregister.com·1h
🏴‍☠️Piracy
Don’t like joining in? Why it could be your superpower
theguardian.com·1d·
Discuss: Hacker News, Hacker News
⬜Minimalism
A Better Way to Think About AI
theatlantic.com·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
What should I do with my old laptops?
reddit.com·1h·
Discuss: r/homelab
🏠Homelab Preservation
Hints for the Patty Paper Trisection
denisegaskins.com·5d
📐Document Calculus
ANU admits 'much work to do' while defending leadership, financial position
abc.net.au·7h
🌍Cultural Computing
“Ichthys,” by Jay Fielden
newyorker.com·21h
🌳Format Genealogy
Kids and Cleaning
jefftk.com·2d
⭐Awesome lists
How Unforgiving Tools Help Your Programming Discipline with Michael Feathers
youtube.com·5d
🏗️Compiler Archaeology
Benchmarking document information localization with Amazon Nova
aws.amazon.com·6d
📄Document Digitization
Building Strands Agents with a few lines of code: Evaluating Performance with RAGAs
dev.to·4d·
Discuss: DEV
👁️System Observability
The Interpretability Analysis of the Model Can Bring Improvements to the Text-to-SQL Task
arxiv.org·6d
🧮Datalog Engines
The Celebrity Picture Book Boom
newyorker.com·21h
📕Bookbinding
Senstar Technologies Corporation (SNT) Q2 2025 Earnings Call Transcript
seekingalpha.com·8h
⏱️SMPTE Timecode