👑 Isabelle/HOL

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

Preserving legacy code with Software Heritage: A tutorial
softwareheritage.org·3d
🔄Archive Workflows
Replacing developers with GPUs
ayende.com·3d
📏Code Metrics
Python's with Statement: Manage External Resources Safely
realpython.com·3d
🧠Program Logic
Do things that don't scale, and then don't scale
derwiki.medium.com·7h·
Discuss: Hacker News
🚀Indie Hacking
Standard Package Layout (2016)
gobeyond.dev·3d·
Discuss: Lobsters
🔗Dependency Resolution
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·4d·
Discuss: Hacker News
🧠Computational Logic
Aurawave AW100 modules aim to simplify Auracast and Bluetooth LE Audio product development
cnx-software.com·1d
📻Homebrew Protocols
‘Are you asking for my help to be gay?’: what 40 years as a psychoanalyst has taught me about sex and desire
theguardian.com·13h
📡Information theory
The AI Was Fed Sloppy Code. It Turned Into Something Evil.
quantamagazine.org·3d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
How I Built a Simple AI Text Summarizer in Python
dev.to·7h·
Discuss: DEV
🌀Brotli Internals
Preacher: Paper-to-Video Agentic System
arxiv.org·2d
📄Document Streaming
When Is Prior Knowledge Helpful? Exploring the Evaluation and Selection of Unsupervised Pretext Tasks from a Neuro-Symbolic Perspective
arxiv.org·4d
🧠Intelligence Compression
"Pull or Not to Pull?'': Investigating Moral Biases in Leading Large Language Models Across Ethical Dilemmas
arxiv.org·4d
🔲Cellular Automata
AI-Driven Surrogate Modeling for Enhanced Thermal-Fluid-Structural Optimization of Multifunctional Heat Sinks
dev.to·1d·
Discuss: DEV
🌐Computational Topology
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·5d·
Discuss: Hacker News, r/LLM
💻Local LLMs
🧠 Cursor vs Copilot vs Codeium vs Tabnine vs CodeWhisperer: Best AI Tools for Developers in 2025
dev.to·9h·
Discuss: DEV
🚀Indie Hacking
Ethical Medical Image Synthesis
arxiv.org·2d
⚖️Emulation Ethics
Football Daily | A new Premier League season rolls off the assembly line with subplots galore
theguardian.com·1d
📰RSS Archaeology
"Why I Built an AI Terminal with Mermaid Themes (And Why Developer Tools Should Spark Joy) 🧜‍♀️"
dev.to·4h·
Discuss: DEV
📟Terminals
Goal Discovery with Causal Capacity for Efficient Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata