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

Bridging the visibility gap in software supply chain security
about.gitlab.com·2d
🔗Supply Chain
Some third-party Mac apps I use
lapcatsoftware.com·18h
🍎Apple Archive
If Coding Agents Were Rappers
install.md·10h·
Discuss: Hacker News
🚀Indie Hacking
ToolShell Mass Exploitation (CVE-2025-53770)
research.eye.security·2d·
Discuss: Hacker News
🎫Kerberos Exploitation
Mastering Vibe Coding — May the Force Be With You
thenewstack.io·1d
🔗Concatenative Programming
The Force: A Star Wars themed programming language
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
FastSmoothSAM: A Fast Smooth Method For Segment Anything Model
arxiv.org·1d
📐Projective Geometry
Why Your Vibe-Coded App Will Fail (And How to Fix It)
dev.to·7h·
Discuss: DEV
📏Code Metrics
Voice-based AI Agents: Filling the Economic Gaps in Digital Health Delivery
arxiv.org·3h
🎙️Whisper
Building Event-Driven Architecture with MSK and Lambda: The Python Developer's Guide to Not Shooting Yourself in the Foot
dev.to·11h·
Discuss: DEV
🌊Apache Kafka
🚀 AutoML Lite: The Ultimate Python Library That Makes Machine Learning Effortless (With Zero Configuration!)
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Causal Knowledge Transfer for Multi-Agent Reinforcement Learning in Dynamic Environments
arxiv.org·2d
🔲Cellular Automata
AI 101 for Frontend Devs: LLMs, Transformers, RAG Explained Simply
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Exploring Human-AI Complementarity in CPS Diagnosis Using Unimodal and Multimodal BERT Models
arxiv.org·1d
🧠Machine Learning
EduThink4AI: Translating Educational Critical Thinking into Multi-Agent LLM Systems
arxiv.org·1d
🔲Cellular Automata
CHIMERA: Compressed Hybrid Intelligence for Twin-Model Enhanced Multi-Agent Deep Reinforcement Learning for Multi-Functional RIS-Assisted Space-Air-Ground Integ...
arxiv.org·3h
🧠Intelligence Compression
Please Make Jarvis So I Don’t Have To – Vision from Kent C. Dodds
dev.to·4h·
Discuss: DEV
🌐WASI
Don’t Be Scared of AI. Be Scared of Being Basic in a World That’s Upgrading.
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Complete Beginner's Guide to Building AI Agents with LangChain and LangGraph
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·5d
🧮Kolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap