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
c13e's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6157
posts in
19.1
ms
Subscribe
50
interests
·
0
feeds
·
2
likes
Writing
Prolog
with ChatGPT
🧩
Prolog
Content type:
Blog
johndcook.com
·
5h
5 hours ago
Actions for Writing Prolog with ChatGPT
Syntax and semantics of focalisation with relative
monads
and comonads
🔣
Category Theory
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Syntax and semantics of focalisation with relative monads and comonads
Steven
Erikson
’s
Malazan
Book of the Fallen Is Getting a 10-Book Repackage
📖
Grimdark Fantasy
reactormag.com
·
6d
6 days ago
Actions for Steven Erikson’s Malazan Book of the Fallen Is Getting a 10-Book Repackage
Show HN: Kimün – A TUI
note
taking
app
Obsidian
compatible and Vim friendly
🗃️
PKM
Content type:
Code
github.com
·
7h
7 hours ago
·
Hacker News
Actions for Show HN: Kimün – A TUI note taking app Obsidian compatible and Vim friendly
A
Clojure
Dialect on Rust
🔵
Lisp
clj.rs
·
5h
5 hours ago
·
Hacker News
·
Cited by 2 articles
Actions for A Clojure Dialect on Rust
From the Mailbox 68 - Palms Out
Sounds
🎵
Ambient Music
palmsout.net
·
20h
20 hours ago
Actions for From the Mailbox 68 - Palms Out Sounds
A line-by-line translation of the
OCaml
runtime from C to Rust
🐫
OCaml
Content type:
Discussion
discuss.ocaml.org
·
5d
5 days ago
·
Lobsters
,
Hacker News
Actions for A line-by-line translation of the OCaml runtime from C to Rust
Type
Theory
Forall #62 –
Dependent
Haskell – Vladislav Zavialov [video]
🔢
Type Theory
Content type:
Video
youtube.com
·
1d
1 day ago
·
Hacker News
Actions for Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]
80: POPL 2026 - Part 2
λ
Functional Programming
Content type:
Audio
buzzsprout.com
·
1d
1 day ago
Actions for 80: POPL 2026 - Part 2
Building a multiplayer podcast editor with
Automerge
🔀
CRDTs
adamsolove.com
·
5d
5 days ago
·
Lobsters
,
Hacker News
Actions for Building a multiplayer podcast editor with Automerge
Metaspec: The dpANS3
Common
Lisp
Specification in
s-expr
format
🔵
Lisp
metaspec.dev
·
12h
12 hours ago
·
Hacker News
Actions for Metaspec: The dpANS3 Common Lisp Specification in s-expr format
Bucie’s Beloved “Get Over It” Returns Through Non Grata’s Fresh Remix
🎵
Afro House
Content type:
Blog
chromatic-club.com
·
3d
3 days ago
Actions for Bucie’s Beloved “Get Over It” Returns Through Non Grata’s Fresh Remix
Formal
Methods
and the Future of Programming
📐
Formal Methods
Content type:
Blog
blog.janestreet.com
·
1d
1 day ago
·
Hacker News
·
Cited by 1 article
Actions for Formal Methods and the Future of Programming
Vulnerability Summary for the Week of June 8, 2026
🛡️
Memory Safety
cisa.gov
·
10h
10 hours ago
Actions for Vulnerability Summary for the Week of June 8, 2026
Ezi_gex: a Unicode-aware regex engine for
Zig
—
comptime-compiled
, DFA-backed, ReDoS-safe
⚡
Zig
ziggit.dev
·
2d
2 days ago
Actions for Ezi_gex: a Unicode-aware regex engine for Zig — comptime-compiled, DFA-backed, ReDoS-safe
Active
recall
🧠
Active Recall
Content type:
Blog
3
articles covering this post
herman.bearblog.dev
·
6d
6 days ago
·
Hacker News
,
Hacker News
·
Cited by 3 articles
Actions for Active recall
Jasper is blogging: By the
seaside
💬
Smalltalk
jasper.tandy.is
·
2d
2 days ago
Actions for Jasper is blogging: By the seaside
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
One More
Type
in the Tiny
Type
Theory
🔢
Type Theory
jcreedcmu.github.io
·
17h
17 hours ago
·
Hacker News
Actions for One More Type in the Tiny Type Theory
Loops
and Where Creativity Goes Next | Product Design, Responsive Web Design, UX Design, Belfast Northern Ireland | Jordan Moore
🎵
Ambient Music
jordanm.co.uk
·
3d
3 days ago
Actions for Loops and Where Creativity Goes Next | Product Design, Responsive Web Design, UX Design, Belfast Northern Ireland | Jordan Moore
Kan Extensions in Double
Categories
λ
Functional Programming
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
·
Cited by 1 article
Actions for Kan Extensions in Double Categories
« Page 1
·
Page 3 »
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