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

Rules for Python | Cursor Directory
cursor.directory·20h
🪟Awesome windows command-line
Memories of AOL
theworksofegan.net·2h
🕹️Retro Gaming
Holga 120-degree Wide Pinhole Camera
lomography.com·2d·
Discuss: Hacker News
🖼️JPEG XL
Capture Checking in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·5d
🔗Functional Compilers
Many hate on Object-Oriented Programming. But some junior programmers seem to mostly echo what they've heard experienced programmers say. In this blog post I tr...
zylinski.se·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Show HN: HTML-to-docx – generate word docs from HTML (MIT Licensed)
github.com·1d·
Discuss: Hacker News
🖋Typography
Proving You Are You, Again and Again
dev.to·1d·
Discuss: DEV
🔐PKI Archaeology
TypeScript 5.0: Explore New Features & Updates
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games
arxiv.org·1d
🔲Cellular Automata
FOSSAI: An Open-Source Manifesto Against Digital Inequality — v0.1
dev.to·1d·
Discuss: DEV
🌍Cultural Computing
Python, JavaScript, TypeScript? My no-BS guide to picking a language that lasts
dev.to·12h·
Discuss: DEV
🔄Language Evolution
First Place Solution to the MLCAS 2025 GWFSS Challenge: The Devil is in the Detail and Minority
arxiv.org·2d
🧮Kolmogorov Complexity
PAUL: Uncertainty-Guided Partition and Augmentation for Robust Cross-View Geo-Localization under Noisy Correspondence
arxiv.org·20h
📐Projective Geometry
I've Seen the Future of UI Development. It's Insane, Written in Rust, and Rendered by an AI.
dev.to·16h·
Discuss: DEV
🦀Rust Macros
Building High-Load API Services in Go: From Design to Production
dev.to·17h·
Discuss: DEV
⚡gRPC
So… you wanna build with LLMs?
dev.to·11h·
Discuss: DEV
💧Liquid Types
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org·2d
🔗Monadic Parsing
ConfTuner: Training Large Language Models to Express Their Confidence Verbally
arxiv.org·1d
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap