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

Intro to Genetics Cheat Sheet
cheatography.com·1d
🔢Mathematical Logic
Observability for Databases in CI/CD
blog.sonichigo.com·10h·
Discuss: Hacker News
🌍Distributed Systems
Don't write bugs
teamten.com·2d·
Discuss: Lobsters, Hacker News
🔍Static Analysis
Splitting a long string in lines efficiently
lemire.me·1d·
Discuss: Hacker News
🏗Computer Architecture
My Blaugust conclusion ✍️
gobino.be·1d
🧮Programming Language Theory
LLMs to Blaze a Trail
blogger.com·6d
🔧Compiler Design
Notion's hosted MCP server: an inside look
notion.com·4d·
Discuss: Hacker News
🤝Protocol Design
FlashAttention by hand
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Cross-Compiling Linux Kernel Module: A Hands-On Guide
dev.to·2d·
Discuss: DEV
🔧Compiler Design
ASSEMBLE NAS SERVER OR OPTIONS
reddit.com·18h·
Discuss: r/homelab
🌍Distributed Systems
The House “That YouTube Built” (Has Solar Power)
cleantechnica.com·2d
🧫Cellular Automata
Building AI with a Personality: Tailoring LLM Behavior Through Psychological Priming
dev.to·18h·
Discuss: DEV
🔗Parser Combinators
5 ML Mistakes That Scream “Student” (And How to Fix Them)
pub.towardsai.net·2d
🎲Probabilistic Programming
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·16h
🎲Probabilistic Programming
Robotic Fabric Whisperers: Teaching AI to Handle Delicate Materials by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Step-by-Step Guide: Setting Up and Running evi-run on DigitalOcean or Other VPS (for Beginners)
dev.to·1d·
Discuss: DEV
🤝Protocol Design
FloodVision: Urban Flood Depth Estimation Using Foundation Vision-Language Models and Domain Knowledge Graph
arxiv.org·16h
🎲Probabilistic Programming
Early return and goroutine leak
rednafi.com·1d
⚡Concurrency
Is this Vibe Coding?
dev.to·1d·
Discuss: DEV
🔌Network Programming
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·3d
🧮Programming Language Theory
Loading...Loading more...
AboutBlogChangelogRoadmap