🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

Grammatical errors make prompt injections more likely
heise.de·1d
⚡Proof Automation
A Conversation with Amazon CTO Werner Vogels
softwareengineeringdaily.com·20h
🏠Homelab Archaeology
Inside Zig's New Writer
joegm.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·2d·
Discuss: Hacker News
🦀Rust Macros
Launch HN: Dedalus Labs (YC S25) – Vercel for Agents
news.ycombinator.com·12h·
Discuss: Hacker News
🌊Streaming Systems
Stepwise Selection Made Simple: Improve Your Regression Models in Python
towardsdatascience.com·13h
🧠Machine Learning
Coding at the Speed of AI: Innovation, Vulnerability, and the GenAI Paradox
devops.com·23h
🔄Language Evolution
Adaptive Parameter Calibration for Swarm Robotics Navigation in Dynamic Environments
dev.to·36m·
Discuss: DEV
🔲Cellular Automata
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·3d
🗂️Vector Databases
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·3d·
Discuss: Hacker News
⚡Proof Automation
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·4d
🎙️Whisper
A Novel Framework for Automated Explain Vision Model Using Vision-Language Models
arxiv.org·1h
🤖Paleographic ML
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.org·1d
💻Programming languages
Aggregate Fictitious Play for Learning in Anonymous Polymatrix Games (Extended Version)
arxiv.org·1d
🔲Cellular Automata
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·3d
⚡Proof Automation
Adaptive Root Cause Localization for Microservice Systems with Multi-Agent Recursion-of-Thought
arxiv.org·1h
⚡Incremental Computation
A Hierarchical Signal Coordination and Control System Using a Hybrid Model-based and Reinforcement Learning Approach
arxiv.org·1h
✨Effect Handlers
Diving into Actor Model with Go and NATS
dev.to·13h·
Discuss: DEV
🔧Binary Parsers
Prompt Engineering for Dev Productivity - How Better Prompts Lead to Better Code and Workflows
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
8 AI Productivity Tools You Should Be Exploring Right Now ⚡️👌
dev.to·14h·
Discuss: DEV
🎯Content Recommendation
Loading...Loading more...
AboutBlogChangelogRoadmap