👑 Isabelle/HOL

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

Introductory Computer Science and Software Engineering Topics
albertyw.com·17h
🛠Language Design
Testing races with a synchronizing Decorator
blog.ploeh.dk·12h
🔄Sync Engine
Show HN: List of Clojure-Like projects
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
New Educational App Lets Users Explore the Human Side of AI Alignment
simulateai.io·23h·
Discuss: Hacker News
🔲Cellular Automata
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·2h
⚡gRPC
Building Testable Telegram Bots with Zustand
zwit.link·19h·
Discuss: Hacker News
🌐Protocol Synthesis
News for July 2025
ptreview.sublinear.info·2d
🎯Performance Proofs
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·9h
⚡gRPC
Alignment Monitoring
arxiv.org·15h
⚙️Assembly Verification
Getting an LLM to Play Text Adventures
entropicthoughts.com·21h·
Discuss: Lobsters, Hacker News
🔗Constraint Handling
Automate your project with GitHub Models in Actions
github.blog·3h
📦Git LFS
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Carnival of Maths #241
aperiodical.com·8h
📐Mathematical Art
What if Infinity Didn’t Exist?
scientificamerican.com·7h·
Discuss: Hacker News
🔲Proof Irrelevance
How we made JSON.stringify more than twice as fast
v8.dev·19h·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·15h
🔐Homomorphic Encryption
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Come Try Out Piglet
arnebrasseur.net·5h·
Discuss: Hacker News
🐚Bash Monads
LLMs won't save you from bad software engineering culture
atelfo.github.io·17h·
Discuss: Hacker News
🔄Language Evolution