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
83049
posts in
786.0
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
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
1d
·
Discuss:
r/golang
❄
NixOS
Santa
's Big Secret
yamlscript.org
·
3h
❄
NixOS
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
5h
·
Discuss:
Hacker News
🕸️
Knowledge Graphs
stdlib
v7.2
erlang.org
·
19h
·
Discuss:
Hacker News
❄
NixOS
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
15h
·
Discuss:
Hacker News
📝
Emacs
Differential
Logic
• 1
inquiryintoinquiry.com
·
1d
🕸️
Knowledge Graphs
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
1d
❄
NixOS
Devux.js
| Node.js Framework |
TypeScript
dev.to
·
56m
·
Discuss:
DEV
📝
Emacs
Introducing
Mutineer
: Chaos Engineering for
Elixir
Function Calls
dev.to
·
6h
·
Discuss:
DEV
❄
NixOS
When Are Custom
Hooks
an Advantage in React, and When Do They Become a
Liability
?
bishoy-bishai.github.io
·
21h
·
Discuss:
DEV
📝
Emacs
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
📦
Nix Flakes
Going to the Library
yamlscript.org
·
3h
📝
Emacs
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
1d
·
Discuss:
Hacker News
📝
Emacs
Waterloo
Style
theprogrammersparadox.blogspot.com
·
14h
·
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
·
18h
❄
NixOS
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
2d
❄
NixOS
Continual
learning and the post
monolith
AI era
baseten.co
·
10h
·
Discuss:
Hacker News
🕸️
Knowledge Graphs
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