🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚔️ Lean Tactics

Interactive Proving, Tactic Composition, Proof Automation, Mathlib

The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·11h·
Discuss: DEV
📐Error Bounds
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·12h
⬆️Lambda Lifting
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
HariSekhon/DevOps-Bash-tools
github.com·18h
🐚Shell Automation
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
How to (Almost) solve cybersecurity once and for all
adaptive.live·23h·
Discuss: Hacker News
🔐Systems Hardening
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·18h·
Discuss: Hacker News
🦀Rust Macros
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·23h·
Discuss: DEV
🔗Concatenative Programming
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
CloneDex: Rebuilding OpenAI Codex with VibeKit
vibekit.sh·8h·
Discuss: Hacker News
🔄Sync Engine
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·7h·
Discuss: Hacker News
🔗Constraint Handling
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·21h·
Discuss: Hacker News
🦀Rust Macros
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
NTRL: Encounter Generation via Reinforcement Learning for Dynamic Difficulty Adjustment in Dungeons and Dragons
arxiv.org·15h
🔲Cellular Automata
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
If You Want to Learn Algebra, You Need to Have Automaticity on Basic Arithmetic
justinmath.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
Slashing CI Costs at Uber
uber.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap