👑 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·5h
🏛Digital humanities
Askeladden Capital Q2 2025 Letter
seekingalpha.com·1d
🧠Intelligence Compression
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev·1d·
Discuss: Hacker News
🔓Open Source Software
Two sizes fit most: PostgreSQL and ClickHouse
about.gitlab.com·12h·
Discuss: Hacker News
🗄️Database Internals
The Software of Science
mirawelner.com·18h·
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
Debug Smarter: Multimodal Error Analysis for Next.js with Daft.ai
dev.to·14h·
Discuss: DEV
🌳Incremental Parsing
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·19h·
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
Towards Optimal Transaction Scheduling
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🗄️Database Internals
Multimodal LLM-based Query Paraphrasing for Video Search
arxiv.org·10h
🔍Semantic Search
Automated Microbial Contamination Detection in Cleanrooms via Spectral Deconvolution & Deep Reinforcement Learning
dev.to·4h·
Discuss: DEV
📄Document Digitization
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·2d
⚛️Quantum Codecs
Fine-Grained Safety Neurons with Training-Free Continual Projection to Reduce LLM Fine Tuning Risks
arxiv.org·10h
💻Local LLMs
Everything I Know About GitHub Copilot Instructions — From Zero to Onboarded (For Real) ⚡
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming