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
Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
⚙ Rust, Haskell, Functional Programming, Logic Programming, Critical Theory
Specific
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
86
posts in
6.1
ms
Co-Creator of
Haskell
:
Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
λ
Functional Programming
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
PART III - Assertions and their use
✓
Formal Verification
ciao-lang.org
·
5d
5 days ago
·
Lobsters
Actions for PART III - Assertions and their use
A Neurosymbolic
Prolog
Skill for LLM-Driven Service Placement
🧮
Datalog
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for A Neurosymbolic Prolog Skill for LLM-Driven Service Placement
OCaml Weekly News, 09 Jun 2026
λ
Functional Programming
alan.petitepomme.net
·
1d
1 day ago
Actions for OCaml Weekly News, 09 Jun 2026
Less-relevant results
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
🔤
Type Theory
lix.polytechnique.fr
·
13h
13 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
tensor product of stable (infinity,1)-
categories
in nLab
📐
Category Theory
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
QTCat: Queer and Trans People in
Category
Theory
📐
Category Theory
Content type:
Blog
semantic-domain.blogspot.com
·
2d
2 days ago
·
semantic-domain.blogspot.com
Actions for QTCat: Queer and Trans People in Category Theory
A Zizek group, if you'd prefer to
📚
Literary Criticism
hypersubject.net
·
9h
9 hours ago
Actions for A Zizek group, if you'd prefer to
15-150: Principles of
Functional
Programming
λ
Functional Programming
brandonspark.github.io
·
1d
1 day ago
Actions for 15-150: Principles of Functional Programming
Declarative DSLs for Janet
🧮
Datalog
codeberg.org
·
6d
6 days ago
·
Hacker News
Actions for Declarative DSLs for Janet
Kan Extensions in
Haskell
📐
Category Theory
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
Nontrailing separators do not spark joy
λ
Functional Programming
Content type:
News
Computer Things via buttondown.com
·
10h
10 hours ago
·
Lobsters
Actions for Nontrailing separators do not spark joy
Proof System Timelines
✓
Formal Verification
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Constants and pure
functions
in Python: how to do it right
λ
Functional Programming
Content type:
Blog
en.andros.dev
·
5d
5 days ago
·
Hacker News
Actions for Constants and pure functions in Python: how to do it right
Implementing Monads with Async Zig
λ
Functional Programming
Content type:
Blog
platypro.net
·
1d
1 day ago
·
Hacker News
Actions for Implementing Monads with Async Zig
A Concurrent Language for Non-Concurrent Software (2010)
💧
Elixir
prog21.dadgum.com
·
5d
5 days ago
·
Hacker News
Actions for A Concurrent Language for Non-Concurrent Software (2010)
Answer Set
Programming
for Egg Extraction and More
🎯
Constraint Solving
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Answer Set Programming for Egg Extraction and More
A new hardback!
📐
Category Theory
Content type:
Blog
logicmatters.net
·
6d
6 days ago
Actions for A new hardback!
RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
💾
CPU Architecture
phoronix.com
·
13h
13 hours ago
Actions for RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
Add uuid-utils (#3178) · vinta/awesome-python@5fe1dbd
λ
Functional Programming
Content type:
Code
github.com
·
6d
6 days ago
Actions for Add uuid-utils (#3178) · vinta/awesome-python@5fe1dbd
Page 2 »
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