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

I Thought My Colleague’s Lies Were Harmless. Until Now.
slate.com·22h
🔢Mathematical Logic
Lisp in 99 Lines of C With TinyLisp
hackaday.com·2d
📝Lisp
The Fallacies of Management – The Network Is Reliable
xangelo.medium.com·2d·
Discuss: Hacker News
🌍Distributed Systems
Enterprises Are Struggling to Make Generative AI Work. That's Great News for IBM.
fool.com·22h
🤖Sci-Fi
Finishing Our (Money) Sentences
mironov.com·1d
🎲Probabilistic Programming
A Conjure Piglet Client
lambdaisland.com·1d
📝Lisp
Impact of geothermal well heat losses on the performance of green hydrogen production
sciencedirect.com·18h
🎲Probabilistic Programming
The Price of Intelligence
cacm.acm.org·2d
🎲Probabilistic Programming
Why agent pathfinding gets messy: global planning vs local avoidance coordinate transforms
medium.com·1d·
Discuss: r/programming
🧫Cellular Automata
GrapeQL - A GraphQL Vulnerability Scanner
reddit.com·1d·
Discuss: r/opensource
👐Open Source Software
AI makes me feel like an impostor
reddit.com·1d·
Discuss: r/webdev
🔗Parser Combinators
From side project to meaningful gift: Building Love Tales in public
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
🍰 Go Slices Finally Explained: Why They Behave the Way They Do
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
Anyone well versed in CS and IT I Need Help and Advice With a Project to locally host notes
reddit.com·16h·
Discuss: r/ObsidianMD
🔌Network Programming
[R] How to prime oneself for ML research coming from industry
reddit.com·1d·
Discuss: r/MachineLearning
🔧Compiler Design
How to Keep Your Writing Weird in the Age of AI
every.to·1d
🔌Network Programming
A Systematic Study of Post-Training Quantization for Diffusion LLMs
arxiv.org·1d·
Discuss: Hacker News
🔧Compiler Design
I Tried AI Coding Tools. Now I Want to Learn to Code.
every.to·1d
🔌Network Programming
Fed-Meta-Align: A Similarity-Aware Aggregation and Personalization Pipeline for Federated TinyML on Heterogeneous Data
arxiv.org·3d
🔗Parser Combinators
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·4d
🎯Constraint Programming
Loading...Loading more...
AboutBlogChangelogRoadmap