👑 Isabelle/HOL

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

Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·1d
🎯Gradual Typing
Proofs of the Pythagorean Theorem
cut-the-knot.org·2d·
Discuss: Hacker News
🎯Proof Tactics
OpenAI publishes new open models
heise.de·1d
🔓Open Source Software
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·2d·
Discuss: Hacker News
📊Citation Graphs
Automate your project with GitHub Models in Actions
github.blog·2d
📦Git LFS
Open SWE: An Open-Source Asynchronous Coding Agent
blog.langchain.com·2h·
Discuss: Hacker News
🔓Open Source Software
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🦀Rust Borrowing
Penpot (open-source Figma alternative) AI whitepaper
penpot.app·8h·
Discuss: Hacker News
📟CLI Design
Claude Code vs. Cursor
open-data-analytics.medium.com·12h·
Discuss: Hacker News
🏗️Compiler Archaeology
Automated Fuzzy Rule Optimization via Hybrid Genetic-Simulated Annealing for Medical Diagnostic Systems
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction
arxiv.org·1d
🔲Cellular Automata
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·1d
💻Local LLMs
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·1d
🔗Topological Sorting
Machine Learning Fundamentals: model evaluation tutorial
dev.to·10h·
Discuss: DEV
👁️Observatory Systems
Building AI-Powered Applications with C# and Semantic Kernel
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Creating a REST API in Go with Gin: A Pragmatic, Spec-First Guide
dev.to·8h·
Discuss: DEV
🔌Interface Evolution
Estimating Worst-Case Frontier Risks of Open-Weight LLMs
arxiv.org·22h
💻Local LLMs
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·5d
🔗Functional Compilers
J4CC, A Frame for Communication Control
arxiv.org·2d
✨Algebraic Effects
Building EVI : An AI-Powered Economic Vitality Analysis Platform with Kiro
dev.to·16h·
Discuss: DEV
🌀Brotli Internals