👑 Isabelle/HOL

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

Gotta Go Fast: Jobs, Emails and Cache with Rails
blog.codeminer42.com·14h
🔄Sync Engine
PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·5d·
Discuss: Hacker News
🏛️Isabelle HOL
CNL: From Idea to Implementation - How to Self-Host an AI Agent
youtube.com·18h
🏠Homelab Automation
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
How we made JSON.stringify more than twice as fast
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
A Library Approach to Constant Template Parameters
brevzin.github.io·3d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
Graph Lineages and Skeletal Graph Products
arxiv.org·2d
🔗Graph Isomorphism
FinKario: Event-Enhanced Automated Construction of Financial Knowledge Graph
arxiv.org·1d
🕸️Knowledge Graphs
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·1d
🔍Information Retrieval
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·3h
🧩WASM Components
AI-Context Documentation: The Missing Link in AI-Assisted Development
dev.to·1d·
Discuss: DEV
⚡Proof Automation
HeQ: a Large and Diverse Hebrew Reading Comprehension Benchmark
arxiv.org·1d
🔍Information Retrieval
Building a Personal AI Info Pipeline: Semantic Monitoring with YAML and GPT
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
OpenAI’s GPT-OSS Models vs Claude 4.1: How Open-Weight and Closed-Source AI Are Redefining the Future
dev.to·1h·
Discuss: DEV
🔓Open Source Software
GPT OSS models from OpenAI are now available on SageMaker JumpStart
aws.amazon.com·8h
🔓Open Source Software
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·2d·
Discuss: Hacker News
⚡gRPC
The Subfactorial and Some Historical Notes
pballew.blogspot.com·1h·
Discuss: www.blogger.com
🖋Typography
Quantum-RAG and PunGPT2: Advancing Low-Resource Language Generation and Retrieval for the Punjabi Language
arxiv.org·1d
🌀Brotli Internals