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

Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·1d
🧲Cassette Physics
Crypto wallets targeted in widespread hack of open-source repos
reversinglabs.com·12h
🎫Kerberos Attacks
Visual Studio 2026 Insiders is here! - Visual Studio Blog
devblogs.microsoft.com·6h·
Discuss: Hacker News, r/cpp
🔄Language Evolution
[P] I Trained an AI to play Donkey Kong Country Stop and Go Station
youtube.com·2d
📼Retro Games
SED News: Perplexity’s Chrome Play, Meta’s AI Freeze, and Intel Becomes Too Big to Fail
softwareengineeringdaily.com·15h
📰RSS Archaeology
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·3d·
Discuss: Hacker News
🔓Hacking
The End of Engineering's Blank Check • Laura Tacho & Charles Humble • GOTO 2025
youtube.com·1d
🔓Open Source Software
🚀 Introducing Toolbit.ai: Your Ultimate Gateway to 10,000+ AI Tools (No More Tool Discovery Headaches!)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Writing a C compiler in 500 lines of Python
vgel.me·6d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Building Scalable Multi-Modal AI Agents with Strands Agents and Amazon S3 Vectors
dev.to·1d·
Discuss: DEV
🔄Sync Engine
Llama-GENBA-10B: A Trilingual Large Language Model for German, English and Bavarian
arxiv.org·20h
🌳Context free grammars
This One Python Trick Will Make Your Code Look Like a Pro’s
dev.to·4d·
Discuss: DEV
📝Concrete Syntax
Metamorphosis in Machines: Unlocking Flexible Representations by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Integrating upstream and downstream reciprocity stabilizes cooperator-defector coexistence in N-player giving games
arxiv.org·1d
🔲Cellular Automata
Experimenting with Local LLMs on macOS
dev.to·22h·
Discuss: DEV
💻Local LLMs
🖥️ 55 Hidden CMD Hacks Microsoft Never Told You
dev.to·13h·
Discuss: DEV
📟Terminal Forensics
Automated Radiographic Total Sharp Score (ARTSS) in Rheumatoid Arthritis: A Solution to Reduce Inter-Intra Reader Variation and Enhancing Clinical Practice
arxiv.org·20h
🏛Digital humanities
The Curious Price of Distributional Robustness in Reinforcement Learning with a Generative Model
arxiv.org·20h
🧮Kolmogorov Bounds
Agent Diary: Sep 9, 2025 - The Phantom Menace: When Commits Have Trust Issues
dev.to·20h·
Discuss: DEV
🌳Git Internals
**Master Python Memory Management: 8 Essential Optimization Techniques for Performance**
dev.to·11h·
Discuss: DEV
🧠Memory Allocators
Loading...Loading more...
AboutBlogChangelogRoadmap