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

Programmable antisense oligomers for phage functional genomics
nature.com·7h
🧬Palindrome Codes
My ed(1) Toolbox
aartaka.me·1d
📺VT100
A buyer’s guide to CHECK in 2025
pentestpartners.com·13h
🏠Homelab Pentesting
Developers Joke About 'Coding Like Cavemen' As AI Service Suffers Major Outage
developers.slashdot.org·58m
👁️Observatory Systems
Completing the Simulation
gbstudiocentral.com·2d
🕹️Retro Gaming
Bild AI (YC W25) Is Hiring
ycombinator.com·6h·
Discuss: Hacker News
🤖AI Translation
Lessons from Hidden Satoshi Gold Book on Crypto and AI
satoshigoldbook.com·1h·
Discuss: Hacker News
🔗Hash Chains
The subjective experience of coding in different programming languages
interconnected.org·11h·
Discuss: Hacker News
💻Programming languages
The State of AI Gross Margins in 2025
tanayj.com·7h·
Discuss: Hacker News
🖥️Modern Terminals
Morty’s New Tool : Android Application Based CTF Challenge Walkthrough
infosecwriteups.com·1d
🎮Game Decompilation
pathwaycom/llm-app
github.com·2d
🔄Archive Workflows
Besting Good--Turing: Optimality of Non-Parametric Maximum Likelihood for Distribution Estimation
arxiv.org·19h
🧮Kolmogorov Bounds
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·1d·
Discuss: Hacker News
🎫Kerberos Attacks
gogen - a CLI for bootstrapping fullstack Go apps
reddit.com·2d·
Discuss: r/golang
📦Git LFS
Systematic Evaluation of Multi-modal Approaches to Complex Player Profile Classification
arxiv.org·1d
📊Learned Metrics
AI: Your Co-Pilot in the Quest for Scientific Discovery
dev.to·1d·
Discuss: DEV
🤖AI Curation
From Digital Distrust to Codified Honesty: Experimental Evidence on Generative AI in Credence Goods Markets
arxiv.org·1d
📰Content Curation
floq: Training Critics via Flow-Matching for Scaling Compute in Value-Based RL
arxiv.org·1d
🎼Audio Lambda Calculus
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·1d
🎛️Feed Filtering
Keeping Your AI Agents Under Control: Tool Max Tries in Neuron V2
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Loading...Loading more...
AboutBlogChangelogRoadmap