🐿️ 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 Systems
Type Inference, Static Analysis, Dependent Types, Hindley-Milner
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de
·
1d
·
Discuss:
Hacker News
⚙️
Language Implementation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Polymorphic symmetric multiple dispatch with variance
dl.acm.org
·
1d
·
Discuss:
Hacker News
🔬
PLT
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Death to Type Classes
jappie.me
·
3h
·
Discuss:
Hacker News
💻
Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LLM-Generated Rules Engines for LLM Explainability
brain.co
·
2h
·
Discuss:
Hacker News
🔬
PLT
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Issue 489
haskellweekly.news
·
1d
·
Discuss:
Hacker News
⚙️
Language Implementation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Object Reorientation: Generic Functions
gigamonkeys.com
·
1d
·
Discuss:
Hacker News
🔬
PLT
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
DHH is immortal, and costs $200M
danieltenner.com
·
35m
·
Discuss:
Hacker News
💻
Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com
·
21h
·
Discuss:
Hacker News
🏛️
Philosophy
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Effects as Capabilities in Scala
nrinaudo.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google
·
16h
·
Discuss:
Hacker News
🏗️
Compiler Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Trellis: A Gardening Metaphor for Software Engineering
sinclairtarget.com
·
2h
·
Discuss:
Hacker News
🧰
Developer Ergonomics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The bloat of edge-case first libraries
43081j.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Program management update — August 2025
blog.rust-lang.org
·
1d
·
Discuss:
Hacker News
,
r/rust
💻
Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Elements of Programming Style
en.wikipedia.org
·
2h
·
Discuss:
Hacker News
💿
OS
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai
·
1d
·
Discuss:
Hacker News
🖥️
Computer Architecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com
·
18h
·
Discuss:
Hacker News
💿
OS
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A New Method for Estimating P2P Network Size
eli.sohl.com
·
2h
·
Discuss:
Hacker News
⚡
Systems Performance
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Prototype Pollution in Python (2023)
blog.abdulrah33m.com
·
23h
·
Discuss:
Hacker News
🔬
PLT
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🏗️
Compiler Design
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com
·
1d
·
Discuss:
Hacker News
💻
Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »