🐿️ 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·21h
⭐Awesome lists
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·1d
🕸️Mesh Networking
Protect now, reveal later: a scalable Time-Lock Puzzle solution
benthamsgaze.org·20h
🌊Stream Ciphers
AI and Programming Language Communities
jerf.org·1d
🎯Gradual Typing
The Distribution of Prime Numbers: A Geometrical Perspective
blog.computationalcomplexity.org·1d·
Discuss: blog.computationalcomplexity.org, Hacker News
📐Mathematical Art
Reading the Fractals: What Nature's Patterns Say About Our Future
atmos.earth·14h·
Discuss: Hacker News
📐Mathematical Art
The Bitter Lesson
finbarr.ca·1d·
Discuss: Hacker News
🔲Cellular Automata
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
The Rise Of AI Beings: CARV’s New Roadmap Signals Next Wave Of Web3 AI
hackernoon.com·14h
🔌Interface Evolution
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io·1d·
Discuss: Hacker News
🧭Content Discovery
"TikTok, Do Your Thing": User Reactions to Social Surveillance in the Public Sphere
arxiv.org·1d
🏛Digital humanities
Implementing Multi-tenancy with Keycloak and NestJS
dev.to·8h·
Discuss: DEV
🏺Kerberos Archaeology
Did it afraid CONSISTENCY CLARITY GROWTH
dev.to·4h·
Discuss: DEV
⚔️Lean Tactics
Single Core Hundred Thousand Concurrency(1751042929538900)
dev.to·14h·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure(1750794401345600)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Perspectives in Play: A Multi-Perspective Approach for More Inclusive NLP Systems
arxiv.org·2d
📚Digital Humanities
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·1d
🤖Advanced OCR
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.org·1d
🧠Intelligence Compression
Optimal Single-Policy Sample Complexity and Transient Coverage for Average-Reward Offline RL
arxiv.org·1d
🧮Kolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap