๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ—๏ธ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

How to save your brain
thefoggiest.devยท2d
๐ŸŒ€Brotli Dictionary
Alternatives to โ€˜AFABโ€™ and โ€˜AMABโ€™
medium.comยท2d
๐Ÿ”€Category Theory
Show HN: I built a voice-first tool for Twitter, pivoted to cursor for X
x11.socialยท1dยท
Discuss: Hacker News
๐Ÿ“ฐRSS Archaeology
Jonhoo and Helsing AI's DSON: A delta-state CRDT for resilient P2P communication
blog.helsing.aiยท2dยท
Discuss: Hacker News
๐Ÿ”€CRDT
Lidarts โ€“ a free, open-source [scoring] website for darts games
github.comยท20hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
I Wasted Hours on Useless Frontend Tools โ€” These 12 Actually Blew My Mind in 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿš€Indie Hacking
BookLore is a self-hosted app for managing and reading books and comics
github.comยท3dยท
Discuss: Hacker News
๐Ÿ“ฆMETS Containers
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.comยท2dยท
Discuss: Hacker News
โŸทBidirectional Programming
Beyond Coding: Build Real-World AI Projects in Bangalore
dev.toยท3dยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
BANG: Dividing 3D Assets via Generative Exploded Dynamics
arxiv.orgยท3d
๐ŸบComputational Archaeology
Python Fundamentals: comparison chaining
dev.toยท4dยท
Discuss: DEV
๐Ÿ“Code Metrics
diffSPH: Differentiable Smoothed Particle Hydrodynamics for Adjoint Optimization and Machine Learning
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
How Agentic AI Is Reshaping API Self-Discovery
thenewstack.ioยท1d
๐Ÿ”ŒInterface Evolution
Decoding the Magic: Logistic Regression, Cross-Entropy, and Optimization
dev.toยท1dยท
Discuss: DEV
๐Ÿง Machine Learning
3 things Iโ€™ve learned while implementing my first multi agent architecture
dev.toยท23hยท
Discuss: DEV
โš™๏ธTLA+
Curved Inference: Concern-Sensitive Geometry in Large Language Model Residual Streams
arxiv.orgยท3d
๐Ÿง Intelligence Compression
Unmasking Synthetic Realities in Generative AI: A Comprehensive Review of Adversarially Robust Deepfake Detection Systems
arxiv.orgยท3d
๐Ÿ”Vector Forensics
Bolt TechInnovators-Intranet
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Distance and Collision Probability Estimation from Gaussian Surface Models
arxiv.orgยท2d
๐Ÿ“ŠComputational Geometry
The Most Beautiful Data Structures (and How to Try Them Locally)
dev.toยท5dยท
Discuss: DEV
๐ŸŒณHuffman Trees
Loading...Loading more...
AboutBlogChangelogRoadmap