👑 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·16h
🏛Digital humanities
Opengrep Adds Apex Support and New Rule Controls in Latest Updates
socket.dev·2d·
Discuss: Hacker News
🔓Open Source Software
Looking for a simple load balancer for my homelab, anyone tried this?
github.com·7h·
Discuss: r/homelab
🏠HomeLab
Two sizes fit most: PostgreSQL and ClickHouse
about.gitlab.com·1d·
Discuss: Hacker News
🗄️Database Internals
How Not to Build a GPT-5 Style Router
arfniia.com·5h·
Discuss: Hacker News
⚡Incremental Computation
LLM Context Rot
valinsky.dev·2d·
Discuss: Hacker News
🌳Context free grammars
Sharded Is Not Distributed: What You Should Know When PostgreSQL Is Not Enough
medium.com·8h·
Discuss: Hacker News
🗄️Database Sharding
When Your AI Friend Gets a Corporate Makeover
getcoai.com·10h·
Discuss: Hacker News
🔌Interface Evolution
Our DevOps stack and recent improvements
ngrok.com·10h·
Discuss: Hacker News
❄️Nix Flakes
The Software of Science
mirawelner.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
OpenAI’s Waterloo? [with corrections]
garymarcus.substack.com·4h·
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
Harnessing AI's potential on the mainframe
techradar.com·11h
🏢IBM Mainframes
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·2d
⚡Circuit Design
DevNous: An LLM-Based Multi-Agent System for Grounding IT Project Management in Unstructured Conversation
arxiv.org·1d
💻Programming languages
Normative Moral Pluralism for AI: A Framework for Deliberation in Complex Moral Contexts
arxiv.org·1d
🔲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·21h
📐Projective Geometry