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

My ed(1) Toolbox
aartaka.me·1d
📺VT100
Report from OSS EU 2025 and AI_dev: What’s next for OSAID
opensource.org·6h
🔓Open Source Software
Completing the Simulation
gbstudiocentral.com·2d
🕹️Retro Gaming
Bild AI (YC W25) Is Hiring
ycombinator.com·3h·
Discuss: Hacker News
🤖AI Translation
On the weird economics of semiconductors and GenAI
gauthierroussilhe.com·26m·
Discuss: Lobsters
🖥️Modern Terminals
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🌊Streaming Compression
You Already Have Our Data, Take Our Phone Calls Too (FreePBX CVE-2025-57819)
labs.watchtowr.com·2h·
Discuss: Hacker News
🔓Hacking
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🤖AI Curation
PeTTO: Leveraging GPUs to Accelerate Topology Optimization with the Pseudo-Transient Methods
arxiv.org·16h
⚙️Tape Engineering
From Tokens to Theorems: Building a Neuro-Symbolic AI Mathematician
towardsdatascience.com·2d
📐Mathematical Art
AI: Your Co-Pilot in the Quest for Scientific Discovery
dev.to·21h·
Discuss: DEV
🤖AI Curation
AI is amazing — but let's keep our critical thinking on
dev.to·7h·
Discuss: DEV
🔄Language Evolution
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
FAQ: How To Start a Homeschool Math Club
denisegaskins.com·7h
📐Mathematical Art
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Build, Run, Chat: Creating a Self-Hosted LLM Setup
dev.to·11h·
Discuss: DEV
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap