🔤 Type Theory

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

How Salesforce Delivers Reliable, Low-Latency AI Inference
engineering.salesforce.com·4h
🌊Stream Processing
11th August – Threat Intelligence Report
research.checkpoint.com·6h
🔓Hacking
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·23h·
Discuss: Substack
🔬Binary Analysis
Line at Infinity
en.wikipedia.org·2d·
Discuss: Hacker News
🕸️Algebraic Topology
Myths About Floating-Point Numbers (2021)
asawicki.info·1d·
Discuss: Lobsters, Hacker News
📐Arithmetic Precision
Your CV is not fit for the 21st century – time to get it up to scratch
theregister.com·10h
🗺️Competency Maps
Benchmarks Show Speculative Decoding Needs the Right Draft Model for 3× Gains
bentoml.com·2d·
Discuss: Hacker News
💻Local LLMs
Logic and Creativity
hakon.gylterud.net·1d·
Discuss: Hacker News
🏛️Philosophy
Millions of Dead Genders: A MOGAI Retrospective
youtube.com·14h
🏛Digital humanities
SecretShare: Secure One Time Secret Sharing
github.com·18h·
Discuss: Hacker News
🔐Archive Encryption
I've Been Using AI to Code for a Year. Here's What I Learned
buzzsprout.com·1d·
Discuss: Hacker News
⚡Proof Automation
How to Install & Run GPT-OSS 20b and 120b GGUF Locally?
dev.to·8h·
Discuss: DEV
🏠HomeLab
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·1d·
Discuss: DEV
✅Archive Validation
Automated Vulnerability Prioritization via Graph Neural Networks and Symbolic Execution
dev.to·1d·
Discuss: DEV
📏Code Metrics
Adaptive Assessment Calibration via Dynamic Knowledge Graph Embedding for Online Learning
dev.to·1d·
Discuss: DEV
🗺️Competency Maps
Mixture of Experts Guided by Gaussian Splatters Matters: A new Approach to Weakly-Supervised Video Anomaly Detection
arxiv.org·15h
🔍Vector Forensics
Towards Robust Evaluation of Visual Activity Recognition: Resolving Verb Ambiguity with Sense Clustering
arxiv.org·3d
📊Learned Metrics
Show HN: React is Awful, a book written by Claude
github.com·18h·
Discuss: Hacker News
🦀Rust Macros
VibeTDD Experiment 4.1: Project Setup and the Automation Reality Check
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·4d
🤖Automated Parsing