🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

A Standard for Human-Centered Investigation Playbooks
chrissanders.org·1h
🎯Threat Hunting
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
Why Dyad?: A Perspective for Modelica Users
juliahub.com·5h·
Discuss: Hacker News
💧Liquid Types
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·18h·
Discuss: Hacker News
🦀Rust Macros
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·12h·
Discuss: DEV
📐Error Bounds
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Make Sense of a 10K+ Line GitHub Repos Without Reading the Code
kdnuggets.com·1d
🌿git
Lessons from LangChain and Slack and MCP Integration
medium.com·22h·
Discuss: Hacker News
🔗Topological Sorting
Nosana Builders Challenge: Agent-101
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Vibe Coding Makes You a Better Engineer
artmann.co·1d
📏Code Metrics
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Midjourney Isn't the Most Accurate AI–That's Why It's the Best
every.to·1d·
Discuss: Hacker News
🖥️Modern Terminals
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·12h·
Discuss: DEV
⚡Proof Automation
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Go Coding with Asparagos: Walnuts Take the IQ Test
dev.to·10h·
Discuss: DEV
👑Isabelle
N8N, Local LLM, MCP proxy in 1 compose file
ajeetraina.com·21h·
Discuss: Hacker News
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap