🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Formalization

Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides

Claude Code's 19 cent Parser
blogger.com·2d
🔧Binary Parsers
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Nullable vs. Nullable in C#
einarwh.no·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Do I not like Ruby anymore? (2024)
sgt.hootr.club·1d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
Implementing Forth in Go and C
eli.thegreenplace.net·14h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
💻Programming languages
Show HN: CodeBoarding – Visualize Code Structure
codeboarding.org·18h·
Discuss: Hacker News
🦀Rust Macros
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·2d
🌀Brotli Dictionary
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·15h·
Discuss: Hacker News
🧠Machine Learning
The Emacs thread-related code needs a maintainer
lists.gnu.org·9h·
Discuss: Hacker News
🦀Rust Macros
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Understanding Tool-Integrated Reasoning
arxiv.org·14h
🔗Constraint Handling
Using AI to build an AI Security Product
dev.to·1d·
Discuss: DEV
⚡Proof Automation
A Model for all Ranges
qt.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·8h·
Discuss: Hacker News
🤖Archive Automation
Trying to get error backtraces in rust libraries right
iroh.computer·1d·
Discuss: Lobsters, Hacker News, r/rust
🔒Linear Types
New methodology for editing existing code files using LLM generated snippets
community.openai.com·3h·
Discuss: Hacker News
📝Compiler Design
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·1h
📏Code Metrics
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1h·
Discuss: Substack
🏗️Compiler Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap