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
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8951
posts in
147.3
ms
Designing a Compact
RGB
14-Segment
Display
hackaday.com
·
7h
🔧
Unikernel Development
Visual Studio 2026 18.3.0 brings GitHub Copilot
memories
and AI-powered
vulnerability
fixes
neowin.net
·
6h
·
Discuss:
r/programming
🔄
Reproducible Builds
A Cosmic Miracle: A
Remarkably
Luminous
Galaxy at z<sub>spec</sub> = 14.44 Confirmed with JWST
astro.theoj.org
·
7h
·
Discuss:
Hacker News
📦
Unikernel Systems
Discord
Mandates
ID and Face
Scans
Under New CEO
ibtimes.co.uk
·
7h
🌐
ActivityPub
Is Everything
Connected
? A
McLuhan
Thought Experiment
lesswrong.com
·
7h
🔲
Cellular Automata
In memoriam
Marijn
Meijles
vasilis.nl
·
7h
·
Discuss:
Lobsters
🔬
Unikernels
cargo-selector
i.redd.it
·
7h
·
Discuss:
r/commandline
📦
OPAM
Go
Programming
Language: Everything You Need To Know About It (Part 4)
dev.to
·
4d
·
Discuss:
DEV
⚙️
Compiler Design
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
4d
·
Discuss:
DEV
⏱️
Computational Complexity
Annual governors' gathering with White House
unraveling
after Trump
excludes
Democrats
npr.org
·
9h
·
Discuss:
Hacker News
🔀
Galois Connections
Jobs data will
shine
a fresh light on the first year of Trump's term
nbcnews.com
·
6h
·
Discuss:
Hacker News
💻
CS
Definability
and
Interpolation
in Philosophy
arxiv.org
·
1d
🔁
Fixed-Point Theory
Object-Oriented
Transition Modeling with
Inductive
Logic Programming
arxiv.org
·
1d
🎯
Hindley-Milner
Pluralistic
: Europe takes a big step towards a post-dollar world (11
Feb
2026)
pluralistic.net
·
6h
·
Discuss:
Hacker News
🔬
Unikernels
Kalshi
and
Polymarket
Create New Competition for Professional Economists
nytimes.com
·
6h
·
Discuss:
Hacker News
🧠
Automated Reasoning
Why We
Raised
$
50M
: The Non-Human Identity Crisis Driving Our Series C
blog.gitguardian.com
·
7h
·
Discuss:
Hacker News
🔲
Cellular Automata
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
6d
·
Discuss:
Hacker News
🧩
Parser Combinators
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
4d
·
Discuss:
Hacker News
📦
OPAM
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
6d
·
Discuss:
Hacker News
,
r/Compilers
🧮
SMT Solvers
Big
Revisions
Could
Alter
Jobs Picture
nytimes.com
·
6h
·
Discuss:
Hacker News
🏹
Effect Systems
Loading...
Loading more...
« Page 17
•
Page 19 »
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