🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔶 Cubical Type Theory

Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types

The Mesmerizing, Hard-Edge Paintings of Fanny Sanín
newyorker.com·1d
⭐Awesome lists
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·1d
🕸️Mesh Networking
A Reboot for Capitalism’s Operating System
theatlantic.com·1h
🇩🇪German Computing
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·4d
🌳Archive Merkle Trees
AI and Programming Language Communities
jerf.org·1d
🎯Gradual Typing
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·2d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2d
🔒Linear Types
Reading the Fractals: What Nature's Patterns Say About Our Future
atmos.earth·20h·
Discuss: Hacker News
📐Mathematical Art
Intelligent Book Discovery with Book Aura & MindsDB
dev.to·6h·
Discuss: DEV
🕸️Knowledge Graphs
Writing Toy Software Is a Joy
quiz.businessexplain.com·2d·
Discuss: Hacker News
🔩Systems Programming
"TikTok, Do Your Thing": User Reactions to Social Surveillance in the Public Sphere
arxiv.org·1d
🏛Digital humanities
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.org·1d
📊Rate-Distortion Theory
From Beginner to Clean Coder: A Junior Developer's Journey
dev.to·21h·
Discuss: DEV
🔗Concatenative Programming
I Built an Offline-First AI Copilot for the Terminal – Meet Promptly
dev.to·6h·
Discuss: DEV
🐚Shell Automation
Stop Words Using Spacy - NLP
dev.to·4d·
Discuss: DEV
📝Text Parsing
🚀 Day 2: Controlling the Flow – Python Core Concepts Unlocked
dev.to·2h·
Discuss: DEV
🔗Constraint Handling
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai·22h·
Discuss: Hacker News
🔲Cellular Automata
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Why We Chose Rust For Spin
dev.to·21h·
Discuss: DEV
🦀Rust Macros
TITAN: Query-Token based Domain Adaptive Adversarial Learning
arxiv.org·1d
📊Learned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap