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, ocaml, clojure
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81523
posts in
524.1
ms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
3d
🎯
Symbolic Execution
Chromosome-level genome assembly and annotation of the critically endangered
Siberian
crane (
Leucogeranus
leucogeranus
)
nature.com
·
2d
🌲
Deforestation
Learning
Swift
- An
Introduction
troz.net
·
6d
🦉
Swift Interpreters
HTML
Dictionaries
dev.to
·
1d
·
Discuss:
DEV
⚡
Incremental Parsing
Flexible and
Economical
UTF-8
Decoder
bjoern.hoehrmann.de
·
2d
🔢
Binary Formats
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
🔒
Rust Borrowing
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
🌊
Reactive Languages
Refactoring
038
dev.to
·
3d
·
Discuss:
DEV
🌈
Gradual Languages
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
🔬
Nanopasses
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
5d
🧩
Constraint Logic
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
4d
·
Discuss:
r/rust
⚙️
Async State Machines
Getting
Started
opentelemetry.io
·
3d
🌍
Minimal HTTP
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🪞
Homoiconicity
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
4d
·
Discuss:
Hacker News
📋
Souffle Datalog
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
3d
·
Discuss:
Hacker News
💬
Interactive REPLs
Raw
or
typed
ziggit.dev
·
2d
📝
Rope Editors
Tip of the Week #186: Prefer to Put Functions in the
Unnamed
Namespace
abseil.io
·
1d
🚪
Function Prologues
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
🚂
Error Propagation
Sometimes
it's hard to be
lazy
yamlscript.org
·
2d
😴
Lazy Evaluation
C Isn't A
Programming
Language
Anymore
faultlore.com
·
3d
·
Discuss:
Hacker News
🌉
Cross-Platform FFI
Loading...
Loading more...
« Page 12
•
Page 14 »
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