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

99: An Absence of Moral Fiber
mwl.io·37m
💻Operating Systems
Fast Reasoning on GPT-OSS with Speculative Decoding and Arctic Inference
snowflake.com·3d
🎲Probabilistic Programming
Why Stacking Sliding Windows Can't See Far
guangxuanx.com·1d·
Discuss: Hacker News
🔗Parser Combinators
5 ways to use Copilot and AI tools to spark curiosity this school year
microsoft.com·16h
🎲Probabilistic Programming
These are extremely good textbooks.
threadreaderapp.com·3d
🔢Mathematical Logic
Lost in the Zone: How Flow Supercharges Your Brain
psychologytoday.com·20h
📊Information Theory
Your weekly reading from Web Directions
webdirections.org·3d
🔌Network Programming
How to print "Hello World" in COBOL (Common Business-Oriented Language)
dev.to·1d·
Discuss: DEV
📝Lisp
Bases - View notes created and modified on the day
reddit.com·16h·
Discuss: r/ObsidianMD
🗄️Database Theory
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.org·2d
🎲Probabilistic Programming
Can AI Have a Personality? Prompt Engineering for AI Personality Simulation: A Chatbot Case Study in Gender-Affirming Voice Therapy Training
arxiv.org·2d
📝Lisp
Why Enterprises Are Shifting Toward Agentic AI Development
dev.to·16h·
Discuss: DEV
💭Prolog
My Journey with Sentence Transformers, OpenAI Embeddings, and Vector Databases
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
arxiv.org·2d
⚖Algorithmic Game Theory
E-BayesSAM: Efficient Bayesian Adaptation of SAM with Self-Optimizing KAN-Based Interpretation for Uncertainty-Aware Ultrasonic Segmentation
arxiv.org·2d
🎲Probabilistic Programming
Statistical Comparative Analysis of Semantic Similarities and Model Transferability Across Datasets for Short Answer Grading
arxiv.org·3d
🔗Parser Combinators
I Taught Claude Every’s Standards. It Taught Me Mine.
kill-the-newsletter.com·2d
🧮Programming Language Theory
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔧Compiler Design
Today’s Wordle #1530 Hints And Answer For Wednesday, August 27th
forbes.com·10h
⚖️Logic Programming
Resilience of the global maritime LNG network: From static Bow-tie to dynamic SIR modeling
sciencedirect.com·15h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap