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
λ Functional Programming
Haskell, Clojure, Immutability, Pure Functions
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83050
posts in
950.9
ms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
1d
❄
NixOS
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
1d
📝
Emacs
Java
Annotated
Monthly
– February 2026
blog.jetbrains.com
·
2d
❄
NixOS
Jacob
Boxerman
-
Declarative
, Reproducible Emacs with straight.el and use-package
jakebox.github.io
·
12h
·
Discuss:
Lobsters
,
Hacker News
📝
Emacs
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
1d
·
Discuss:
r/golang
❄
NixOS
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
6h
·
Discuss:
Hacker News
🕸️
Knowledge Graphs
LISP
:
Symbolic
Architecture and the Evolution of Agentic Systems
notebooklm.google.com
·
1d
🕸️
Knowledge Graphs
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
16h
·
Discuss:
Hacker News
📝
Emacs
Santa
's Big Secret
yamlscript.org
·
5h
❄
NixOS
stdlib
v7.2
erlang.org
·
21h
·
Discuss:
Hacker News
❄
NixOS
Differential
Logic
• 1
inquiryintoinquiry.com
·
1d
🕸️
Knowledge Graphs
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
1d
❄
NixOS
Introducing
Mutineer
: Chaos Engineering for
Elixir
Function Calls
dev.to
·
7h
·
Discuss:
DEV
❄
NixOS
Devux.js
| Node.js Framework |
TypeScript
dev.to
·
2h
·
Discuss:
DEV
📝
Emacs
When Are Custom
Hooks
an Advantage in React, and When Do They Become a
Liability
?
bishoy-bishai.github.io
·
23h
·
Discuss:
DEV
📝
Emacs
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
📦
Nix Flakes
Going to the Library
yamlscript.org
·
5h
📝
Emacs
Waterloo
Style
theprogrammersparadox.blogspot.com
·
16h
·
Discuss:
Hacker News
⚙️
Dotfiles
De-mystifying
Agentic AI: Building a Minimal Agent Engine from Scratch with
Clojure
serefayar.substack.com
·
3d
·
Discuss:
Substack
🕸️
Knowledge Graphs
A general optimization framework for
mapping
local
transition-state
networks
nature.com
·
19h
❄
NixOS
Loading...
Loading more...
« Page 2
•
Page 4 »
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