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

The Switch 2’s next killer app is already here
theverge.com·22h
🗜️LZW Variants
OpenAI just won gold at the world's most prestigious math competition. Here's why that's a big deal.
businessinsider.com·1d
🧠Intelligence Compression
How I Found Myself In the Game Industry
nothings.org·12h·
Discuss: Lobsters, Hacker News
🇸🇪Nordic Demoscene
Tips for Writing Clean Code in TensorFlow 2
hackernoon.com·1d
📊Quantization
Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·3d·
Discuss: Lobsters, Hacker News
📊Computational Geometry
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com·14h·
Discuss: Substack
🌀Brotli Internals
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·2d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
You Can't Buy Integration (2021)
martinfowler.com·2d·
Discuss: Hacker News
⚡SMT Integration
LLM Internals for Beginners
vivekkairi.com·2d·
Discuss: Hacker News
💻Local LLMs
Day 40: When Easy Stops Being Hard
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
A beginner's guide to the Background-Remover model by 851-Labs on Replicate
dev.to·8h·
Discuss: DEV
🔓Reverse engineering
Compressed data structures for Heegaard splittings
arxiv.org·5d
🕳️Persistent Homology
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·3d
🔗Parser Combinators
Weekly Challenge: Clearly the Title
dev.to·21h·
Discuss: DEV
🌳Incremental Parsing
🌌 Coding Among the Stars: How Software Engineering and AI Are Writing the Universe’s Next Chapter
dev.to·1h·
Discuss: DEV
📐Mathematical Art
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·6d
🔲Proof Irrelevance
SDK for the tony 65c02-based portable game consoles
github.com·10h·
Discuss: Hacker News
🎮Gameboy Emulation
Rebuilding Retro Space Invaders with AWS Kiro - Spec-Driven Development in Action!
dev.to·8h·
Discuss: DEV
📼Retro Games
Uncertainty Quantification Framework for Aerial and UAV Photogrammetry through Error Propagation
arxiv.org·6h
📐Projective Geometry
Conformal Contraction for Robust Nonlinear Control with Distribution-Free Uncertainty Quantification
arxiv.org·6h
🤝Consensus Networks
Loading...Loading more...
AboutBlogChangelogRoadmap