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

Taylor Otwell: What 14 Years of Laravel Taught Me About Maintainability
maintainable.fm·1d·
Discuss: r/programming
🏗️Software Architecture
10 nonfiction and fiction pairings about an array of topics
modernmrsdarcy.com·7h
🧮Programming Language Theory
AWS Machine Learning Engineer (Associate) Exam
bukola.info·1d·
Discuss: Hacker News
🛡️IoT Security
United Foundation for AI Rights
ufair.org·1d·
Discuss: Hacker News
🤖Sci-Fi
AI/ML Learning path and Conferences
aws.plainenglish.io·2d·
Discuss: r/devops
🏗️Software Architecture
Implement AI safeguards with Python and Llama Stack
developers.redhat.com·1d
⚖️Logic Programming
To Succeed in Platform Engineering, Build Infrastructure Knowledge Graphs - Safeer C M, MoEngage
youtube.com·21h
🏗️Software Architecture
Lobsters Interview with Matklad
lobste.rs·5d·
Discuss: Lobsters
🔧Compiler Design
Stuck in a Loop: Why AI Chatbots Keep Repeating–and How to Stop It
lightcapai.medium.com·1d·
Discuss: Hacker News
🔗Parser Combinators
The best classic '90s games to teach the basics to someone new to gaming
xda-developers.com·1d
💾Retrocomputing
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·4d·
Discuss: Hacker News
🔧Compiler Design
Show HN: Whisker, a real-time Pipecat debugger for your voice AI agents
github.com·1d·
Discuss: Hacker News
🦀Rust
SEC odds, win totals, projections, best bets: Texas, Georgia, Alabama close at top
nytimes.com·9h
🧮Programming Language Theory
LLM Monitoring and Observability: Hands-on with Langfuse
towardsdatascience.com·1d
🧮Programming Language Theory
AI Agent's already replacing human engineering positions.
reddit.com·19h·
Discuss: r/devops
🤖Sci-Fi
My first Graphics Project is now on GitHub!
reddit.com·2d·
Discuss: r/compsci
🔧Compiler Design
WoW: A Window-to-Window Incremental Index for Range-Filtering Approximate Nearest Neighbor Search
arxiv.org·14h
🗄️Database Theory
First Project after restarting my learning journey
dev.to·1d·
Discuss: DEV
🔧Compiler Design
NEAT: Concept driven Neuron Attribution in LLMs
arxiv.org·2d
🔗Parser Combinators
Wondering at what point to switch to TypeScript from JS
reddit.com·4h·
Discuss: r/typescript
📐Type Theory
Loading...Loading more...
AboutBlogChangelogRoadmap