Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
👑 Dependent Haskell
Singletons, Type-level Programming, GADTs, Kind Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23124
posts in
810.5
ms
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🔗
Concatenative Programming
Mini-Heap
dailynous.com
·
1d
⬜
Minimalism
Peiyang-Song/Awesome-LLM-Reasoning-Failures
:
Repo
for "Large Language Model Reasoning Failures"
github.com
·
15h
🎯
Dependent Parsing
Functional
Optics
for Modern Java
blog.scottlogic.com
·
3d
💧
Liquid Types
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
20h
·
Discuss:
Lobsters
❄️
Nix Flakes
Announcing
TypeScript
6.0 Beta
devblogs.microsoft.com
·
13h
·
Discuss:
Hacker News
,
r/javascript
,
r/programming
,
r/typescript
🎯
Gradual Typing
Bounded
Modal
Logic
arxiv.org
·
1d
📏
Linear Logic
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
🦀
Rust Borrowing
Dada
: moves and
mutation
smallcultfollowing.com
·
2d
🦀
Rust Macros
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
⚔️
Lean Theorem
So we have any for
interface
{} and
nil
reddit.com
·
4d
·
Discuss:
r/golang
⚖️
Hoare Logic
Fragments
: February 9
martinfowler.com
·
2d
🗣️
Domain-Specific Languages
D
Programming
Language
dlang.org
·
2h
·
Discuss:
Hacker News
📋
DFDL
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
🦀
Rust Macros
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
2d
⚡
Hardware Transactional Memory
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Introducing
ThinkLang
: A Programming Language Where AI Is a First-Class
Citizen
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
24m
·
Discuss:
Hacker News
🌊
Stream Processing
C-- Home
cs.tufts.edu
·
2d
·
Discuss:
Lobsters
🔗
Concatenative Programming
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
1d
·
Discuss:
r/rust
🦀
Rust Macros
Loading...
Loading more...
« Page 1
•
Page 3 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help