Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Dependent Haskell
👑 Dependent Haskell
Specific
Type-Level Programming, Singletons, GADTs, Advanced Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
71
posts in
7.1
ms
Writing static checks to an unsuspecting library with Liquid
Haskell
⚡
functional programming
Content type:
Blog
tweag.io
·
1d
1 day ago
Actions for Writing static checks to an unsuspecting library with Liquid Haskell
Less-relevant results
I’m a new man after ‘toxic’ split says James
Haskell
as he thanks ‘badass’ Chloe Madeley for helping turn life around
⚡
functional programming
Content type:
News
thesun.co.uk
·
5d
5 days ago
Actions for I’m a new man after ‘toxic’ split says James Haskell as he thanks ‘badass’ Chloe Madeley for helping turn life around
4 Rookie Running Back Breakout Candidates: Fantasy Football Sleepers (2026)
⚡
Partial Evaluation
Content type:
News
rotoballer.com
·
2d
2 days ago
·
r/fantasyfootball
Actions for 4 Rookie Running Back Breakout Candidates: Fantasy Football Sleepers (2026)
Walking Trauma
🌳
Tree Walking
mcsweeneys.net
·
17h
17 hours ago
Actions for Walking Trauma
Introducing Qt's Figma Design System Extraction Skills for Developers
🛠
programming language development
Content type:
Video
Content type:
Blog
qt.io
·
1d
1 day ago
Actions for Introducing Qt's Figma Design System Extraction Skills for Developers
Rep. Mace: Democrats voted to release the Epstein files but are defending Platner
🔄
Subinterpreters
Content type:
Video
cnn.com
·
4d
4 days ago
Actions for Rep. Mace: Democrats voted to release the Epstein files but are defending Platner
botfile: manage AI agent skills and instructions
💬
Interactive REPLs
botfile.org
·
1d
1 day ago
·
Hacker News
Actions for botfile: manage AI agent skills and instructions
Rockchip (EASY EAI) RV1126B Ethernet Communication
🔗
Language Toolchains
hackster.io
·
3d
3 days ago
Actions for Rockchip (EASY EAI) RV1126B Ethernet Communication
Could private jets predict the end of the world? This site thinks so
🐣
Hedy
Content type:
Blog
pcworld.com
·
1d
1 day ago
Actions for Could private jets predict the end of the world? This site thinks so
Democratic group launches
ad
campaign to help flip control of Congress in midterm elections
🔄
Tail Call Analysis
Content type:
News
apnews.com
·
3d
3 days ago
Actions for Democratic group launches ad campaign to help flip control of Congress in midterm elections
Robert Fripp – Good Evening, Hippies (Frippertronics, Collaborations and Rarities) (2026)
🔗
Concatenative
Content type:
Blog
exystence.net
·
3d
3 days ago
Actions for Robert Fripp – Good Evening, Hippies (Frippertronics, Collaborations and Rarities) (2026)
Northern Kentucky residents honor local environmental activist through community cleanup
🗑️
Garbage Collection
Content type:
News
local12.com
·
5d
5 days ago
Actions for Northern Kentucky residents honor local environmental activist through community cleanup
Love Island’s George reveals show bosses STOPPED him from coupling up with islander he really liked
🔍
Comby
Content type:
News
thesun.co.uk
·
23h
23 hours ago
Actions for Love Island’s George reveals show bosses STOPPED him from coupling up with islander he really liked
Pentagon adds Alibaba, Baidu, BYD and NIO to military-linked list
🧱
WASM Components
english.nv.ua
·
2d
2 days ago
Actions for Pentagon adds Alibaba, Baidu, BYD and NIO to military-linked list
Sean Payton makes announcement that changes everything for Broncos' linebacker position
🧮
Combinator Calculus
Content type:
News
sportingnews.com
·
5d
5 days ago
Actions for Sean Payton makes announcement that changes everything for Broncos' linebacker position
10 Running Backs I’m Watching Entering 2026 Pre-Season / Camps
🚀
V8 Internals
Content type:
News
Content type:
Blog
jonsalve.substack.com
·
6d
6 days ago
·
r/fantasyfootball
Actions for 10 Running Backs I’m Watching Entering 2026 Pre-Season / Camps
Protect and encrypt your files with this free app
🛡️
Capability Security
Content type:
Blog
pcworld.com
·
3d
3 days ago
Actions for Protect and encrypt your files with this free app
Bring your song ideas to life with AI music
🎭
Program Synthesis
Content type:
Blog
pcworld.com
·
6d
6 days ago
Actions for Bring your song ideas to life with AI music
Love Island couples in chaos as girls watch the boys on
dates
with new bombshells asking ‘has he lost his head?’
🎭
Staging
Content type:
News
thesun.co.uk
·
4d
4 days ago
Actions for Love Island couples in chaos as girls watch the boys on dates with new bombshells asking ‘has he lost his head?’
Pentagon adds Alibaba, Baidu and BYD to China’s military-linked list
🧱
WASM Components
crypto.news
·
3d
3 days ago
Actions for Pentagon adds Alibaba, Baidu and BYD to China’s military-linked list
Log in to enable infinite scrolling
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
Save / unsave
s
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