🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔶 Cubical Type Theory
Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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
AI and Programming Language Communities
jerf.org
·
1d
·
Discuss:
r/golang
🎯
Gradual Typing
How Much Thinking Can a Team Handle?
innoq.com
·
11h
·
Discuss:
Hacker News
🧠
Intelligence Compression
From 0→∞: My PhD Lessons on Innovating User-Centric ML Systems
amberljc.github.io
·
2d
·
Discuss:
Hacker News
🧭
Content Discovery
I implemented database in Go - learned some hard lessons about transparency along the way
reddit.com
·
1d
·
Discuss:
r/golang
🗄️
Database Internals
Leetcode 1432. Max Difference You Can Get From Changing an Integer
dev.to
·
15h
·
Discuss:
DEV
📐
Interval Arithmetic
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to
·
2d
·
Discuss:
DEV
🕸️
Graph Algorithms
Stop Words Using Spacy - NLP
dev.to
·
4d
·
Discuss:
DEV
📝
Text Parsing
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
·
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
GCP Fundamentals: Data Labeling API
dev.to
·
19h
·
Discuss:
DEV
🤖
Archive Automation
I Built an Offline-First AI Copilot for the Terminal – Meet Promptly
dev.to
·
15h
·
Discuss:
DEV
🐚
Shell Automation
🚀 Day 2: Controlling the Flow – Python Core Concepts Unlocked
dev.to
·
11h
·
Discuss:
DEV
🔗
Constraint Handling
Did it afraid CONSISTENCY CLARITY GROWTH
dev.to
·
20h
·
Discuss:
DEV
⚔️
Lean Tactics
The Future of AI Is Physical: Simulation Is Key
website-staging.inductiva.ai
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Why I Think Decentralized AI Can Be A Game Changer For The Future Of AI?
dev.to
·
1d
·
Discuss:
DEV
⚡
Proof Automation
Why We Chose Rust For Spin
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Macros
Loading...
Loading more...
« Page 13
•
Page 15 »