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
23067
posts in
261.0
ms
Funding cuts will
devastate
the next generation of scientists
theguardian.com
Β·
39m
π΄σ §σ ’σ ³σ £σ ΄σ Ώ
Scottish Computing
BTS to Stream Two β
Arirang
β
Concerts
in Theaters Across the Globe
rollingstone.com
Β·
32m
π₯
Streaming Codecs
France bets on nuclear in new plan to cut
fossil
fuel
imports
lemonde.fr
Β·
36m
π«π·
French Computing
Haiti
's youth caught in
gang
violence
france24.com
Β·
57m
π‘
Cybersecurity
AI: Good as a Research Assistant. Bad for
Creating
GitHub Action
Workflows
tjmaher.com
Β·
27m
Β·
Discuss:
Blogger
π
Proof Assistants
Fox Taps βSpecial Forcesβ EP Sophie
Leonard
to Lead
Unscripted
hollywoodreporter.com
Β·
29m
π‘
Feed Security
Vontier
Corporation (
VNT
) Q4 2025 Earnings Call Transcript
seekingalpha.com
Β·
24m
πΏ
DAT Forensics
Deepmind's research AI
occasionally
solves
what humans can't and mostly gets everything else wrong
the-decoder.com
Β·
35m
π§
Intelligence Compression
Berlinale
Honoree
Michelle Yeoh on Hollywood
Ageism
, βWicked 2β Oscar Snub and Asian-Led Storytelling: βI Will Kick Ass Because I Want to, and I Still Canβ
variety.com
Β·
23m
π¦
Digital Cinema Package
Carasent
AB (publ) 2025 Q4 - Results - Earnings Call Presentation (OTCMKTS:
APXZF
) 2026-02-12
seekingalpha.com
Β·
39m
π°
Feed Readers
Politics,
penis
injections
, broken medals: A week of controversy at the Winter Olympics
france24.com
Β·
14m
πΈπͺ
Nordic Cryptography
Venezuelaβs
parliament
is to debate an
amnesty
bill that could free hundreds
the-independent.com
Β·
22m
π
Linear Algebra
DOJ
Ousts
Antitrust Chief
Gail
Slater, Who Was Reviewing Netflix-Warner Bros. Merger
variety.com
Β·
23m
π΄ββ οΈ
Piracy
Nearly 23,000
pounds
of ground beef recalled over
E.coli
contamination concerns
the-independent.com
Β·
10m
π₯
Feed Aggregation
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
Β·
2d
Ξ»
Lambda Encodings
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
Β·
2d
βοΈ
Lean Tactics
Programming
Aphorisms
matklad.github.io
Β·
1d
Β·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
π
Concatenative Programming
CrimsonDemon567PC/JavaPP
: Python Syntax, compiles to branchless, highly optimized Java
github.com
Β·
3d
Β·
Discuss:
Hacker News
π§
Lisp Dialects
Program management update β January 2026
blog.rust-lang.org
Β·
1d
Β·
Discuss:
Hacker News
π¦
Rust Macros
The cost of a
function
call
lemire.me
Β·
3d
Β·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
π
Concatenative Programming
Loading...
Loading more...
« Page 9
β’
Page 11 »
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