👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Promise based Web Worker Messaging
muffinman.io·1d
🌊Stream Processing
Flag this post
On This Dayin Math - November 2
pballew.blogspot.com·1d·
Discuss: www.blogger.com
⚙️Proof Engineering
Flag this post
A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·16h·
Discuss: Hacker News, r/cpp
🔤Unicode Normalization
Flag this post
Credentials Evidence or Simulate
preludes.eu·4h·
Discuss: Hacker News
🔐PKI Archaeology
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·11h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·2d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Flag this post
CHERIoT 1.0 Released
cheriot.org·7h·
Discuss: Lobsters, Hacker News
🧲RISC-V Preservation
Flag this post
Brooks's Law
en.wikipedia.org·3h·
Discuss: Hacker News
🔄Lens Laws
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·1d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Composing the Idea: Why "Next Word Prediction" Misses the Point
medium.com·3h·
Discuss: Hacker News
🎼Computational Musicology
Flag this post
Linkers: A 20 Part Series
airs.com·1h·
Discuss: Hacker News
🔗Static Linking
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·2d·
Discuss: Hacker News
⚡gRPC
Flag this post
Beyond Start and End: PostgreSQL Range Types
boringsql.com·1d·
Discuss: Hacker News
📏Range Queries
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·5d·
Discuss: Substack
🧬Functional Programming
Flag this post
A Quantitative Framework to Predict Wait-Time Impacts Due to AI-Triage Devices in a Multi-AI, Multi-Disease Workflow
arxiv.org·19h
🌊Stream Processing
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
Flag this post
Introduction to Python Module Three Part Three: Conditionals
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.to·6h·
Discuss: DEV
🤖Archive Automation
Flag this post