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

Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·3d
⚔️Lean Tactics
Books curious minds wished they'd discovered sooner
newsletter.weeklyfilet.com·20h·
Discuss: Hacker News
⭐Awesome lists
Device Tree Overlays on Jetson – Scary but Fun
jetsonhacks.com·11h·
Discuss: Hacker News
🖥️Modern Terminals
How Much Thinking Can a Team Handle?
innoq.com·16h·
Discuss: Hacker News
🧠Intelligence Compression
The Guide to the Foundation Models Framework
azamsharp.com·3d·
Discuss: Hacker News
λLambda Formalization
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/golang, r/programming
⬆️Lambda Lifting
[D] NVIDIA acquires CentML — what does this mean for inference infra?
reddit.com·7h·
Discuss: r/MachineLearning
💻Local LLMs
CSS Art: Brazil's traditional Festas Juninas
dev.to·3h·
Discuss: DEV
🖋Typography
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.org·1d
🧠Intelligence Compression
Single Core Hundred Thousand Concurrency(1751042929538900)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Memory Safety in Web Rust System Zero Cost Secure(1750794401345600)
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Optimal Single-Policy Sample Complexity and Transient Coverage for Average-Reward Offline RL
arxiv.org·1d
🧮Kolmogorov Complexity
I implemented database in Go - learned some hard lessons about transparency along the way
reddit.com·1d·
Discuss: r/golang
🗄️Database Internals
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
Show HN: I'm compiling classical v1 works of software
github.com·1d·
Discuss: Hacker News
🏺ZIP Archaeology
Writing Toy Software Is a Joy
quiz.businessexplain.com·3d·
Discuss: Hacker News
🔩Systems Programming
Leetcode 1432. Max Difference You Can Get From Changing an Integer
dev.to·21h·
Discuss: DEV
📐Interval Arithmetic
Video Virtual Try-on with Conditional Diffusion Transformer Inpainter
arxiv.org·1d
📊Rate-Distortion Theory
🚀 Day 2: Controlling the Flow – Python Core Concepts Unlocked
dev.to·16h·
Discuss: DEV
🔗Constraint Handling
SwiftUI Simplified: Build iOS Apps by Describing What You Want
dev.to·3h·
Discuss: DEV
📟CLI Design
Loading...Loading more...
AboutBlogChangelogRoadmap