🐿️ 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·10h
🧬Palindrome Codes
My ed(1) Toolbox
aartaka.me·1d
📺VT100
A buyer’s guide to CHECK in 2025
pentestpartners.com·16h
🏠Homelab Pentesting
Completing the Simulation
gbstudiocentral.com·2d
🕹️Retro Gaming
Bild AI (YC W25) Is Hiring
ycombinator.com·9h·
Discuss: Hacker News
🤖AI Translation
Lessons from Hidden Satoshi Gold Book on Crypto and AI
satoshigoldbook.com·5h·
Discuss: Hacker News
🔗Hash Chains
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🌊Streaming Compression
The subjective experience of coding in different programming languages
interconnected.org·14h·
Discuss: Hacker News
💻Programming languages
The State of AI Gross Margins in 2025
tanayj.com·10h·
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
The Tmux Menagerie
worksonmymachine.ai·3d·
Discuss: Hacker News
🪟Awesome windows command-line
AI is amazing — but let's keep our critical thinking on
dev.to·13h·
Discuss: DEV
🔄Language Evolution
How I Built My First Telegram Bot (and Why Small Steps Matter)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
From Digital Distrust to Codified Honesty: Experimental Evidence on Generative AI in Credence Goods Markets
arxiv.org·1d
📰Content Curation
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·1d
🎛️Feed Filtering
floq: Training Critics via Flow-Matching for Scaling Compute in Value-Based RL
arxiv.org·1d
🎼Audio Lambda Calculus
Keeping Your AI Agents Under Control: Tool Max Tries in Neuron V2
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Behavioral Fingerprinting of Large Language Models
arxiv.org·2d
💻Local LLMs
AI: Your Co-Pilot in the Quest for Scientific Discovery
dev.to·1d·
Discuss: DEV
🤖AI Curation
Loading...Loading more...
AboutBlogChangelogRoadmap