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

Coming from Node.js, I want to build a Go quiz to test my knowledge — how should I design it?
tour.golang.org·16h·
Discuss: r/golang
📝Lisp
Passing the Security Vibe Check: The Dangers of Vibe Coding
databricks.com·18h
🔍Static Analysis
Understanding CAP Theorem in Modern Distributed Systems: A 3-Part Technical Series 1/3
anmoltomer.bearblog.dev·1d
🌍Distributed Systems
Programming a Language
nrinaudo.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
TensorFlow Graph Optimization With Grappler
hackernoon.com·16h
🔧Compiler Design
How to tell when AI is lying to you
read.highgrowthengineer.com·2d
🎲Probabilistic Programming
LangGraph + SciPy: Building an AI That Reads Documentation and Makes Decisions
towardsdatascience.com·1d
🎲Probabilistic Programming
Looking for feature absorption automatically
lesswrong.com·16h
🎲Probabilistic Programming
Create Better Code Documentation 10x Faster with AI
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Numerical Considerations in Weighted Model Counting
arxiv.org·2d
🎲Probabilistic Programming
How Graphs Boost LLM Precision and Explainability in Cybersecurity
hackernoon.com·1d
🧭SMT Solvers
Remote Sensing Image Intelligent Interpretation with the Language-Centered Perspective: Principles, Methods and Challenges
arxiv.org·1d
🔗Parser Combinators
Unlocking Scalability: A Deep Dive into Mixture of Experts (MoE) for Modern LLMs
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
FOBNN: Fast Oblivious Inference via Binarized Neural Networks
arxiv.org·1d
🔐Cryptography
Building ML Infrastructure in TypeScript - Part 1: The Vision
dev.to·26m·
Discuss: DEV
🧮Programming Language Theory
LangChain literally reverse-engineered Claude Code and Manus AI to build Deep Agents.
threadreaderapp.com·1d
🔗Parser Combinators
EDGE: A Theoretical Framework for Misconception-Aware Adaptive Learning
arxiv.org·1d
⚖Algorithmic Game Theory
Discerning minds or generic tutors? Evaluating instructional guidance capabilities in Socratic LLMs
arxiv.org·1d
🧭SMT Solvers
Day 1 - The Start of My ML + MLOps/LLM Journey
dev.to·17h·
Discuss: DEV
🎲Probabilistic Programming
Subsampling Factorization Machine Annealing
arxiv.org·9h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap