🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Type Theory
Type Systems, Generics, Traits, Static Analysis
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
252289
posts in
4.53
s
What F# Knows About Functors and What Comes Next
dev.to
·
1d
·
Discuss:
DEV
∘
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
GHC 9.12.3 is now available
haskell.org
·
1d
🦎
Leptos
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com
·
7h
📦
Serde
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Algebraic Topology 1: Homotopy Equivalence
youtube.com
·
14h
∘
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to
·
10h
·
Discuss:
DEV
🐹
golang
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com
·
2d
·
Discuss:
r/cpp
🔨
Incremental Compilation
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
unintentional type theory in nLab
ncatlab.org
·
3d
·
Discuss:
Hacker News
🔗
Dependent Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Introducing Pkl, a programming language for configuration
pkl-lang.org
·
10h
💎
Refinement Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Rust Programming Language - The Rust Programming Language
doc.rust-lang.org
·
1h
🦗
Pest
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Learn TypeScript in Y Minutes
learnxinyminutes.com
·
4d
⚙️
SWC
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io
·
14h
🦗
Pest
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
the myth of multitasking and other things i learned today
lollar.bearblog.dev
·
11h
⏭️
Skip Lists
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I made an archetype based ECS in C
github.com
·
1d
·
Discuss:
r/C_Programming
🎮
Bevy ECS
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Title:** Enhanced Symmetry Detection via Adaptive Graph Resonance and Temporal Correlation Analysis: A Novel Approach to Mirror Symmetry Validation in High-Dimensional Spaces
freederia.com
·
3h
🕸️
GraphBLAS
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
JavaScript vs TypeScript - I built the same crypto tracker with both
fabianfrankwerner.com
·
6h
·
Discuss:
DEV
🦕
Deno
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I got tired of writing bad code repeatedly, so I learned Rust to do it only once and made a concurrent processing library
reddit.com
·
2d
·
Discuss:
r/rust
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work
·
19h
·
Discuss:
Hacker News
🛡️
Error Handling
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu
·
9h
∘
Category Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Hj Hornbeck
freethoughtblogs.com
·
21h
🌊
CALM Theorem
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How to Deconstruct Almost Anything My Postmodern Adventure
fudco.com
·
8h
·
Discuss:
Hacker News
📵
Digital Minimalism
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »