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

Today I had launched my second project for fun it's free please try
getdevcard.vercel.app·1d·
Discuss: r/web_design, r/webdev
🔧Compiler Design
Seedream 4.0 – A Powerful Image Creation Alternative to Nano Banana
seedream-4.net·9h·
Discuss: Hacker News
🔧Compiler Design
Getting My Allocators Straight
sinclairtarget.com·1d·
Discuss: r/Zig
🧠Memory Management
FEX 2509 Tagged
fex-emu.com·17h
🏗Computer Architecture
Agents of Change
partnershiponai.org·23h
⚖Algorithmic Game Theory
Payslip Launches "Payslip Alpha": The First AI Product Suite for Global Payroll
prnewswire.com·11h
🔧Compiler Design
Weeknotes 2025-36
departure.blog·23h
🎲Probabilistic Programming
Material Experience: An Evaluation Model for Creative Materials Based on Visual-Tactile Sensory Properties
arxiv.org·13h
🏗️Software Architecture
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·1d·
Discuss: Hacker News
🏗Computer Architecture
Google NotebookLM adds flashcards, quizzes, and new formats for Audio Overviews
alternativeto.net·11h
🧮Programming Language Theory
Introducing the ES|QL query builder for the Python Elasticsearch Client
elastic.co·17h
🧮Programming Language Theory
9001/copyparty v1.19.8
github.com·1d
🐧Linux
AI Writing Tools vs Human Content: Medium Algorithm Penalty Reality Check
pub.towardsai.net·1d
⚖Algorithmic Game Theory
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.org·1d
🔗Parser Combinators
🧩 The Many Faces of RAG: Vanilla, Agentic, Multi-hop, and Hybrid
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Signals & JS Event Loop: Rethinking Angular Reactive Sync
dev.to·1d·
Discuss: DEV
⚡Concurrency
Fairness-Aware Data Augmentation for Cardiac MRI using Text-Conditioned Diffusion Models
arxiv.org·13h
🎲Probabilistic Programming
Florida's Brendan Bett apologizes for spitting on USF's Cole Skinner during game
nytimes.com·15h
🧫Cellular Automata
DevOps Practice at Home?
reddit.com·1d·
Discuss: r/homelab
🦀Rust
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·13h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap