🐿️ 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

Effective Code Reviews with Conventional Comments • Paul Slaughter & Adrienne Braganza
youtube.com·6h
📏Code Metrics
Serving AI from the basement part I
ahmadosman.com·1d·
Discuss: Hacker News
⚡Homebrew CPUs
I made a transformer by hand (no training)
vgel.me·1d·
Discuss: Hacker News
🤖Grammar Induction
Report: ChatGPT-5 Coding Gains Come at a Higher Cost
devops.com·1d
📏Code Metrics
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·2d·
Discuss: Hacker News
🔩Systems Programming
Build an AI PR Reviewer with MCP and Gemini
decodingml.substack.com·9h·
Discuss: Substack
⚙️Proof Engineering
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·2d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
Highlights of Golang 1.25
dev.to·7h·
Discuss: DEV
💧Liquid Types
Development Speed Has Never Been a Bottleneck
pawelbrodzinski.substack.com·6h·
Discuss: Substack
📏Code Metrics
Automated Grant Lifecycle Analysis & Predictive Resource Allocation via Hypergraph Embedding
dev.to·15h·
Discuss: DEV
🕸️Graph Embeddings
Awesome AI Agent Frameworks
github.com·11h·
Discuss: Hacker News
⚡Proof Automation
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·4h·
Discuss: Substack
🌀Brotli Internals
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
📏Linear Logic
Rust for Linux – Encoding the trust of data in the type system
lwn.net·1d·
Discuss: Hacker News
🦀Rust Borrowing
Lively Linear Lisp (1992)
plover.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
The Next Generation of Compound on GroqCloud
groq.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Are We Vibecoding Our Way to Disaster?
arthropod.software·1d·
Discuss: Substack
🧠Intelligence Compression
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
arxiv.org·15h
🧮Kolmogorov Bounds
AI Idea #1757093985
dev.to·1h·
Discuss: DEV
🎛️Feed Filtering
Loading...Loading more...
AboutBlogChangelogRoadmap