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
🔍 Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112258
posts in
758.2
ms
Quiz
: Python's list Data Type: A Deep Dive With
Examples
realpython.com
·
20h
🪢
Rope Data Structures
Mermaidcn
-- Mermaid diagrams for
Shadcn
mermaidcn.vercel.app
·
3h
·
Discuss:
r/reactjs
🏛️
Elm Architecture
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
14h
·
Discuss:
Hacker News
🪢
Rope Data Structures
Shutting Down
CloudSeed
F# - A Fullstack F#
Webapp
Boilerplate
hamy.xyz
·
8h
🌱
Forth Kernels
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
4d
·
Discuss:
Hacker News
📚
Forth Compilers
process-compose
notes.billmill.org
·
1d
🔗
Concatenative
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
4d
📞
Session Types
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
2d
✨
Gleam
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
3d
🚂
Error Propagation
6
niche
programming
languages
developers secretly love
howtogeek.com
·
21h
🏺
Code Archeology
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
3h
·
Discuss:
Hacker News
⚡
Fusion Laws
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
1d
🔍
Type Inference
Proving
What's Possible
buttondown.com
·
1d
📜
Proof Languages
models have some pretty
funny
attractor
states
lesswrong.com
·
11h
🎭
Erlang OTP
mitsuhiko/insta
: A snapshot testing library for rust
github.com
·
1d
🔒
Rust Borrowing
LateOn-Code
&
ColGrep
: LightOn unveils state-of-the-art code retrieval models and code search tooling
huggingface.co
·
16h
·
Discuss:
Hacker News
🔤
Language Tokenizers
microgpt
karpathy.github.io
·
1d
·
Discuss:
Hacker News
🌱
Tiny Languages
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔮
Metacircular Evaluators
Python to Clojure: A
Gentle
Guide for
Pythonistas
dev.to
·
23h
·
Discuss:
DEV
🔮
Clojure
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
11h
·
Discuss:
Hacker News
🎰
Parsing Machines
Sign up or log in to see more results
Sign Up
Login
« Page 2
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