👑 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·19h
🏛Digital humanities
Go 1.25 Released with Experimental Garbage Collector and New JSON API
linuxiac.com·5h
🕸️WASM Archives
Askeladden Capital Q2 2025 Letter
seekingalpha.com·1d
🧠Intelligence Compression
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev·2d·
Discuss: Hacker News
🔓Open Source Software
How Not to Build a GPT-5 Style Router
arfniia.com·8h·
Discuss: Hacker News
⚡Incremental Computation
LLM Context Rot
valinsky.dev·2d·
Discuss: Hacker News
🌳Context free grammars
The Software of Science
mirawelner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
OpenAI’s Waterloo? [with corrections]
garymarcus.substack.com·6h·
Discuss: Substack
⚡Incremental Computation
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·3d·
Discuss: DEV
🧮Algebraic Datatypes
Debug Smarter: Multimodal Error Analysis for Next.js with Daft.ai
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Towards Optimal Transaction Scheduling
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🗄️Database Internals
Normative Moral Pluralism for AI: A Framework for Deliberation in Complex Moral Contexts
arxiv.org·2d
🔲Cellular Automata
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.com·1d
🌊Streaming Systems
DualPhys-GS: Dual Physically-Guided 3D Gaussian Splatting for Underwater Scene Reconstruction
arxiv.org·1d
📐Projective Geometry
Automate AIOps with Amazon SageMaker Unified Studio projects, Part 1: Solution architecture
aws.amazon.com·2d
🏠Homelab Orchestration
How to Tame Your AI Agents: From $900 in 18 Days to Coding Smarter
dev.to·2d·
Discuss: DEV
📏Code Metrics
What Medieval People Got Right About Learning (2019)
scotthyoung.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
Building a Simple Chatbot with LangGraph and Chainlit: A Step-by-Step Tutorial
dev.to·2d·
Discuss: DEV
🎙️Whisper
Spatial-ORMLLM: Improve Spatial Relation Understanding in the Operating Room with Multimodal Large Language Model
arxiv.org·3d
🧠Machine Learning