👑 Isabelle/HOL

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

2,178 Occult Books Now Digitized & Put Online, Thanks to the Ritman Library and Da Vinci Code Author Dan Brown
openculture.com·3h
🏛Digital humanities
Hidden Door is an AI storytelling game that actually makes sense
theverge.com·22h
✨Algebraic Effects
Askeladden Capital Q2 2025 Letter
seekingalpha.com·23h
🧠Intelligence Compression
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev·1d·
Discuss: Hacker News
🔓Open Source Software
MCP is an open protocol that standardizes how apps provide context to LLMs
modelcontextprotocol.io·16h·
Discuss: Hacker News
🏺Protocol Archaeology
Two sizes fit most: PostgreSQL and ClickHouse
about.gitlab.com·10h·
Discuss: Hacker News
🗄️Database Internals
The Software of Science
mirawelner.com·17h·
Discuss: Hacker News
⚙️Proof Engineering
Faster Reed-Solomon Erasure Coding in Java with Go & FFM
reddit.com·2d·
Discuss: r/golang
🔧Reed-Solomon Decoding
Adding Elements to Python Sets
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
✅Format Verification
Dynamic Semantic Command Understanding via Graph-Augmented Reasoning and Reinforcement Learning
dev.to·21h·
Discuss: DEV
🔗Constraint Handling
Inline Caching (2021)
bernsteinbear.com·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·1d
🔲Cellular Automata
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.to·2d·
Discuss: DEV
⚡gRPC
AI Is Different
antirez.com·17h·
Discuss: Hacker News
🤖AI Curation
Domain-Specific Fine-Tuning and Prompt-Based Learning: A Comparative Study for developing Natural Language-Based BIM Information Retrieval Systems
arxiv.org·3d
🔍Information Retrieval
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Automated Risk-Weighted Simulation Orchestration for Construction Project Lifecycle Management
dev.to·17h·
Discuss: DEV
🧩WASM Components
Multimodal LLM-based Query Paraphrasing for Video Search
arxiv.org·8h
🔍Semantic Search
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.to·2h·
Discuss: DEV
📄Document Digitization