🐿️ 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·5h
🇩🇪German Computing
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·3d
🔒Linear Types
Reading the Fractals: What Nature's Patterns Say About Our Future
atmos.earth·1d·
Discuss: Hacker News
📐Mathematical Art
The Bitter Lesson
finbarr.ca·1d·
Discuss: Hacker News
🔲Cellular Automata
Introducing MS MARCO Web Search: A New Era for LLM and IR Data
hackernoon.com·3h
🔍BitFunnel
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·3d·
Discuss: Hacker News, r/programming
🔗Lisp
The Rise Of AI Beings: CARV’s New Roadmap Signals Next Wave Of Web3 AI
hackernoon.com·1d
🔌Interface Evolution
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1d·
Discuss: Hacker News
🧭Content Discovery
Stop Words Using Spacy - NLP
dev.to·4d·
Discuss: DEV
📝Text Parsing
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
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
I Built an Offline-First AI Copilot for the Terminal – Meet Promptly
dev.to·10h·
Discuss: DEV
🐚Shell Automation
🚀 Day 2: Controlling the Flow – Python Core Concepts Unlocked
dev.to·6h·
Discuss: DEV
🔗Constraint Handling
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap