🐿️ 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 Hidden Lessons in a re-frame App
lambdaisland.com·1d
🧩WASM Components
How to Discover a CSS Trick
css-tricks.com·12h
📐Mathematical Art
Koske, a new AI-Generated Linux malware appears in the threat landscape
securityaffairs.com·16h
🔓Hacking
Holy Shit. I built the X post generator
twyg.vercel.app·1d·
Discuss: Hacker News
🏛Digital humanities
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.de·4d·
Discuss: Hacker News
👑Isabelle
Build, Learn, Delete, Repeat
ymichael.com·4d·
Discuss: Hacker News
⚡Incremental Computation
Cursor makes developers less effective? – by Gergely Orosz
newsletter.pragmaticengineer.com·1d·
Discuss: Hacker News
📏Code Metrics
Zignal: A zero-dependency image processing library
github.com·14h·
Discuss: Hacker News
📄Document Streaming
E-Commerce System Powered by Redis: Beyond the Cache
dev.to·1h·
Discuss: DEV
⚡Redis Internals
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·3d
💻Programming languages
Data Mixing Agent: Learning to Re-weight Domains for Continual Pre-training
arxiv.org·3d
🤖Grammar Induction
Here’s what happens when you ask ChatGPT to make a car based only on efficiency – and why a good prompt is so important
techradar.com·1d
🔲Cellular Automata
I built an open source wisprflow
github.com·11h·
Discuss: Hacker News
🎙️Whisper
The Intelligence Hub
github.com·2d·
Discuss: Hacker News
🔌Archive APIs
Why I Built My Own Markup Language for AI-Powered Video Editing
dev.to·1d·
Discuss: DEV
🗣️Domain-Specific Languages
How to build unified AI interfaces using the Vercel AI SDK
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
Math Fractions Teacher Helper
dev.to·6d·
Discuss: DEV
🔬Lean
The One AI Setup That Makes You Unstoppable
dev.to·1d·
Discuss: DEV
⚡Proof Automation
VERIRAG: Healthcare Claim Verification via Statistical Audit in Retrieval-Augmented Generation
arxiv.org·22h
⚡Proof Automation
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap