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

Owasp AntiSamy:守护 Web 应用免受 XSS 攻击的利器
freebuf.com·1d
🧫Cellular Automata
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·3d·
Discuss: Hacker News
🏗Computer Architecture
coworker hunts for dates at work, office is changing dress code but won’t explain how, and more
askamanager.org·7h
🔄Category Theory
MAGA Is Wrong About AI. Trump Is Right.
reason.com·13h
🔢Mathematical Logic
Trying to understand iteration vs recursion as relating to division algorithms; here is a link to wiki https://en.m.wikipedia.org/wiki/Division_algorithm ; woul...
en.m.wikipedia.org·2d·
Discuss: r/AskProgramming
🔐Cryptography
Daily DSA and System Design Journal - 7
leetcode.com·3d·
Discuss: DEV
🤝Protocol Design
Ask HN: GAN'ing Coding GPTs
news.ycombinator.com·2d·
Discuss: Hacker News
🔗Parser Combinators
Green Learning for STAR-RIS mmWave Systems with Implicit CSI
arxiv.org·7h
📊Information Theory
Hybrid Fourier Neural Operator-Plasma Fluid Model for Fast and Accurate Multiscale Simulations of High Power Microwave Breakdown
arxiv.org·7h
🎲Probabilistic Programming
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·3h·
Discuss: r/programming
👐Open Source Software
Using e2e tests to verify Claude's work
reddit.com·2d·
Discuss: r/ClaudeAI
✅Formal Verification
Built a Go SDK for Claude Code CLI
reddit.com·2d·
Discuss: r/golang
🦀Rust
Causal Debiasing Medical Multimodal Representation Learning with Missing Modalities
arxiv.org·7h
🎲Probabilistic Programming
AI-based response assessment and prediction in longitudinal imaging for brain metastases treated with stereotactic radiosurgery
arxiv.org·7h
🎲Probabilistic Programming
AI Receptionists Explained: Technical Architecture, Features, and Use Cases
dev.to·1h·
Discuss: DEV
🤝Protocol Design
Gotta build a server, i thought i could ask here too.
reddit.com·3d·
Discuss: r/godot
🌍Distributed Systems
Automated Error Correction & Predictive Maintenance in Microfluidic Bioassays via Reinforcement Learning
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Told Google & Microsoft Their Rust Code Was Awful One Offered Me a Job, the Other Kicked Me Out!
reddit.com·23h·
Discuss: r/rust
👐Open Source Software
Quantized Temporal Graph Matching for Anomaly Detection in Reversed Mass Ordering Systems
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Predicting Fetal Outcomes from Cardiotocography Signals Using a Supervised Variational Autoencoder
arxiv.org·7h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap