🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

10 Best Vitamins For Skin, According to the Pros
vogue.com·3h
🔢Mathematical Logic
How the Laminas Project Determines When to Abandon a Library
getlaminas.org·1d·
Discuss: r/programming
👐Open Source Software
AI Networking: The Observability Blueprint for Modern AI Workloads
blogs.arista.com·9h
🤝Protocol Design
Boggle Roundup: My Fifteen Minutes of Fame
danvk.org·3d
🔗Parser Combinators
Private functions and member variables in class scripts
en.wikipedia.org·16h·
Discuss: r/godot
🧮Programming Language Theory
Simplify local prototyping with Camel JBang infrastructure
developers.redhat.com·18h
🦀Rust
Theia AI framework puts you in charge of AI inside your IDE
developer-tech.com·9h·
Discuss: Hacker News
🏗️Software Architecture
Building a high-performance home lab with AMD Threadripper and Proxmox
xda-developers.com·2d
🌍Distributed Systems
Kubernetes v1.34: Of Wind & Will (O' WaW)
kubernetes.io·1d·
Discuss: Hacker News
🦀Rust
Project Mmgt for DevOps
reddit.com·5h·
Discuss: r/devops
🔧Compiler Design
Built an AI Agent Orchestration Platform - Handles 70% of Our Dev Tasks
reddit.com·3d·
Discuss: r/LLM
🌍Distributed Systems
🌱 My Idea Tracker Journey with Appwrite (from “Hello World” to Hoodie!)
dev.to·13h·
Discuss: DEV
👐Open Source Software
Full-Stack Interview Prep #1: SQL Injection Explained Simply (with Go & Node.js Examples)
dev.to·1d·
Discuss: DEV
🗄️Database Theory
Why Your Prompts Don’t Belong in Git
towardsdatascience.com·3d
👐Open Source Software
One year, no experience, and countless late nights
reddit.com·1d·
Discuss: r/godot
⚖️Logic Programming
After over 6 years in my career, I'm just so tired of building out front ends. Any ways to make it easier?
reddit.com·9h·
Discuss: r/webdev
🔧Compiler Design
AI in dev - making the right bet
diginomica.com·1d
🎲Probabilistic Programming
From HTML to 3D: Why I Rebuild My Portfolio with React, Vite, Tailwind & FrontQL
dev.to·12h·
Discuss: DEV
🏗️Software Architecture
Building Additional Context Menus: A Developer's Journey From Frustration to Solution 🚀 (Part 1/5)
dev.to·1d·
Discuss: DEV
🔧Compiler Design
The Mind's Eye: A Multi-Faceted Reward Framework for Guiding Visual Metaphor Generation
arxiv.org·1d
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap