๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

After Anchorage summit, Europeans stand firmly behind Zelensky in the face of Trump
lemonde.frยท20h
๐Ÿ“ABNF Parsing
Fixed My Date Issue!
theworksofegan.netยท14h
๐Ÿ”ƒFeed Algorithms
To monitor my backups, I had to first invent the universe
blog.tjll.netยท3d
๐Ÿ“ŠHomelab Monitoring
Does OLAP need an ORM?
clickhouse.comยท3dยท
Discuss: Hacker News, r/javascript, r/typescript
๐Ÿ—„๏ธDatabase Internals
How I Use AI Agents as a Data Scientist in 2025
kdnuggets.comยท3d
๐Ÿค–AI Curation
We had a low mortgage and lived comfortably in Maryland but gave it all up for a fresh start in Georgia. I'm now divorced with a higher mortgage and regret.
businessinsider.comยท1h
๐Ÿ”คEBCDIC Migration
I used GPT-5 to code a Fantasy Premier League program, and I might actually stand a chance of winning my draft this year thanks to ChatGPT
techradar.comยท3d
โšกProof Automation
The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions
arxiv.orgยท4d
๐Ÿ”ฒCellular Automata
Delving into Dynamic Scene Cue-Consistency for Robust 3D Multi-Object Tracking
arxiv.orgยท8h
๐Ÿ“Projective Geometry
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.comยท5d
๐Ÿ’งLiquid Types
# Why I Built MCP Client Generator (And Why You Should Care)
dev.toยท4dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
๐Ÿง Can AI Learn to Care?
dev.toยท2dยท
Discuss: DEV
๐ŸŒCultural Algorithms
NAS Died... home lab to the rescue? (plus a side question)
reddit.comยท6hยท
Discuss: r/homelab
๐Ÿ“ŠHomelab Monitoring
AIxCC and RoboDuck
theori.ioยท6dยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Quantum Error Mitigation via Entanglement-Assisted Adaptive Pulse Shaping (EAAPS)
dev.toยท2dยท
Discuss: DEV
โš›๏ธQuantum Error Correction
AES Still Offers A Risk-Reward Play
seekingalpha.comยท2d
๐Ÿ”—Data Provenance
STELAR-VISION: Self-Topology-Aware Efficient Learning for Aligned Reasoning in Vision
arxiv.orgยท5d
๐Ÿ’ปLocal LLMs
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.orgยท5d
โŸทBidirectional Programming
A Chain of Diagnosis Framework for Accurate and Explainable Radiology Report Generation
arxiv.orgยท4d
๐Ÿง Machine Learning
Automated Prognostics & Health Management for Starship Service Module Thermal Control System via Bayesian Dynamic Networks
dev.toยท4dยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
Loading...Loading more...
AboutBlogChangelogRoadmap