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
81718
posts in
250.9
ms
Titivillus Teachings
Typning
by
chromokun
, H.
chromokun.itch.io
·
6h
💬
Interactive REPLs
Solving
Bellingcat
’s February Challenges: Fixed
Narrative
medium.com
·
3h
🔍
ML Language
Learning Python
iam.mt
·
55m
💬
Interactive REPLs
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
20h
📜
Proof Languages
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
20h
📋
Souffle Datalog
AWS
Lambda
with Rust and Closure
Syntax
aws.amazon.com
·
1d
·
Discuss:
r/rust
🔗
Borrowing Extensions
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
15h
·
Discuss:
Hacker News
🎮
Language Ergonomics
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
3d
·
Discuss:
Hacker News
,
r/rust
⚙️
TOML Parsers
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
Language Server Protocol from
Debug
Symbols
forrestthewoods.com
·
2d
🌉
Language Interop
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
3d
🔧
API Design
Coding A PoS
Tagger
from Scratch — A Statistical Part-of-Speech
Tagger
|
NLP
pub.towardsai.net
·
3h
🔤
Language Tokenizers
I built a
Babel
plugin that lets you use React Context like normal
variables
npmjs.com
·
18h
·
Discuss:
r/reactjs
🔗
Lexical Scoping
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🔬
Nanopasses
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
10h
🚚
Code Migration
Beautiful
Perl
feature:
BLOCKs
dev.to
·
2d
·
Discuss:
DEV
🔗
Lexical Scoping
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚂
Error Propagation
Simplifying
State Management in
Flutter
with Command and Result
dev.to
·
6h
·
Discuss:
DEV
🌙
Lua
Compound
Engineering: The
Definitive
Guide
kill-the-newsletter.com
·
9h
🚂
Cranelift IR
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
6h
✅
Type Checking
Loading...
Loading more...
« Page 3
•
Page 5 »
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