🔤 Type Theory

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

I Solved PyTorch's Cross-Platform Nightmare
svana.name·1d·
Discuss: Hacker News
🔗Topological Sorting
Ore Formation Processes, Part Two: Hydrothermal Boogaloo
hackaday.com·1d
🦴Database Paleontology
How can I deal with a team member who is always complaining?
andiroberts.com·1d·
Discuss: Hacker News
⚙️systems theory
Manchester City settle with Premier League and accept sponsorship rules are valid
theguardian.com·1d
⚖️Legal Compliance
First homelab: EliteDesk G4 SFF/ G5 MT/ Precision 3650MT?
cdn.cs.1worldsync.com·2d·
Discuss: r/homelab
🏠HomeLab
Large Behavior Models Are Helping Atlas Get to Work
spectrum.ieee.org·2d
🤖Tape Automation
The Decisioninator ‘saved my marriage,’ says software engineer — device automates restaurant, chore, date night, and movie night choices
tomshardware.com·1d
🤖Tape Automation
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.io·4d·
Discuss: Hacker News
🕸️Knowledge Graphs
SiFive introduces 2nd Gen Intelligence RISC-V AI CPUs: X160, X180, X280 Gen 2, X390 Gen 2, and XM Gen 2
cnx-software.com·1d
🦾ARM Cortex-M
Ask HN: When it's too much observability?
news.ycombinator.com·2d·
Discuss: Hacker News
👁️System Observability
Hear Ring Doorbell Alerts Anywhere in Your Home With This $27 Plug-In Chime
lifehacker.com·1d
🏠Home Automation
It's not always DNS..
reddit.com·1d·
Discuss: r/homelab
🌐DNS Security
Gthulhu, a system scheduler dedicated to cloud-native workloads written in Golang
reddit.com·4d·
Discuss: r/golang
🌊Apache Kafka
Load Llama-3.2 WebGPU in your browser from a local folder
simonwillison.net·1d·
Discuss: Hacker News
🎮Gameboy Emulation
Over 10% of Google AI Overviews now cite AI-generated content
techspot.com·1d
🤖AI Curation
Compressed verification for post-quantum signatures with long-term public keys
arxiv.org·6d
🔐Quantum Security
Stem cell–based embryo models reveal pathway to understanding fertility
phys.org·1d
🔲Cellular Automata
Never Hit the ChatGPT Limit Again: 5 Hacks for Long Coding Conversations 🚀
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Ask HN: Would Windows users want a native multi-model AI client?
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
Serbia vs England prediction: Three Lions to continue winning start to qualifying
the-independent.com·23h
🔍Polish Cryptanalysis