🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Training a Chunker with Burn
elijahpotter.dev·7h·
Discuss: Hacker News
📝Concrete Syntax
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·8h·
Discuss: Hacker News
✨Algebraic Effects
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
Why Hoon?
docs.urbit.org·3d·
Discuss: Hacker News
🐚Bash Monads
Solving the Context Rot Problem for Coding Agents
install.md·8h·
Discuss: Hacker News
🌳Incremental Parsing
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·1d
📜Proof Carrying Code
Zig Interface Revisited
williamw520.github.io·11h·
Discuss: Hacker News
🧩WASM Components
Connecting legibility to theory building in programming
ashwinsundar.com·1d·
Discuss: Hacker News
💻Programming languages
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
An AI Skeptic Uses AI for a Week
keithjgrant.com·1d·
Discuss: Hacker News
✨Effect Handlers
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
arxiv.org·1d
🔲Cellular Automata
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
Effective Practices for Coding with a Chat-Based AI
infoq.com·4h·
Discuss: Hacker News
🔄Language Evolution
Kiro and the future of AI spec-driven software development
kiro.dev·13h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
oapi-codegen v2.5.0 is out
github.com·1d·
Discuss: r/golang
📜Proof Carrying Code