🐿️ 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·3h
⭐Awesome lists
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·9h
🕸️Mesh Networking
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·3d
🌳Archive Merkle Trees
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1d
🔒Linear Types
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·19h·
Discuss: Hacker News
🧭Content Discovery
LeetCode 2040 Beginner friendly explanation
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Complexity
7 Popular LLMs Explained in 7 Minutes
kdnuggets.com·1d
💻Local LLMs
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·3d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Video Perception Models for 3D Scene Synthesis
arxiv.org·1d
📐Projective Geometry
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·9h
🧠Machine Learning
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
🚀 Thrilled to Join the Tech Community!
dev.to·56m·
Discuss: DEV
🌀Brotli Internals
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·2d
🔗Topological Sorting
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·3d·
Discuss: DEV
🧬Functional Programming
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
Advanced Full-Stack Development: Building Scalable Web Applications
dev.to·53m·
Discuss: DEV
🌊Stream Processing
[$] Supporting kernel development with large language models
lwn.net·22h
💻Local LLMs
Show HN: I'm compiling classical v1 works of software
github.com·2h·
Discuss: Hacker News
🏺ZIP Archaeology
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·2d
🔍Type Inference
Loading...Loading more...
AboutBlogChangelogRoadmap