🔤 Type Theory

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

Reassembly of the 1132 printer - part 6
rescue1130.blogspot.com·17h·
Discuss: rescue1130.blogspot.com
🗃️Punch Card Recovery
The Option Block Experiment
resourceaholic.com·2d·
Discuss: www.resourceaholic.com
🏗️Constructive Mathematics
Designer – Generate UI with one prompt for free on an infinite canvas
designer.tesslate.com·1d·
Discuss: Hacker News
📟Terminal Typography
Why Latency Lies to You
systemssaturday.substack.com·2d·
Discuss: Substack
👁️Observatory Systems
Yet Another Init System? Meet Nitro, a Fresh Take on Process Supervision
linuxiac.com·17h·
Discuss: Hacker News
🔍eBPF
Set up a Playwright Browser Server in AWS EC2
blog.devops.dev·1d
🔄Sync Engine
Structural basis for the dynamic regulation of mTORC1 by amino acids
nature.com·3d
🧬Copy Number Variants
Behind the scenes of the process of creating a macOS app
old.reddit.com·23h·
Discuss: r/macapps
🚀Indie Hacking
Weaponizing image scaling against production AI systems
blog.trailofbits.com·3d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🕵️Vector Smuggling
Letters: Board should bar Contra Costa sheriff from ICE notifications
mercurynews.com·1d
💻Local first
Sebuf: Build HTTP APIs from Protobuf Definitions with Automatic Validation and OpenAPI Docs (And more)
reddit.com·5d·
Discuss: r/golang
⚡gRPC
Linking to books online
hamatti.org·1d
🏰Manuscript Networks
A universal rhythm guides how we speak: Global analysis reveals 1.6-second 'intonation units'
phys.org·3d
🗣️CMU Pronouncing
Blockchain Cracks Open Wall Street’s Most Guarded Asset Class
hackernoon.com·2d
🔗Blockchain Archives
Planivox - The All-In-One Tools Website!
dev.to·3d·
Discuss: DEV
📸PNG Optimization
Measuring how molecules communicate: New method quantifies partial charges
phys.org·2d
🌈Spectroscopy
Online Incident Response Planning under Model Misspecification through Bayesian Learning and Belief Quantization
arxiv.org·3d
🧮Kolmogorov Bounds
Automated Data Gathering for Renewable Energy Firms With RAG & Agentic Workflows
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Why Your ‘Data Exhaust’ Is Your Most Valuable Asset
thenewstack.io·2d
🗄️Database Internals
Self-consistent model incorporates gas self-gravity effects to address accretion across cosmic scales
phys.org·1d
🌡️Preservation Physics