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
🔗 Lisp
Functional Programming, S-expressions, Code as Data, Recursion
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18451
posts in
581.5
ms
#384
weeknotes.barrucadu.co.uk
·
1d
📝
Concrete Syntax
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
15h
🔮
Proof Search
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
2h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Testing software in the era of coding agents
garymm.org
·
4h
·
Discuss:
Hacker News
🧪
Property-Based Testing
The
Joy
of
Programming
deanclatworthy.com
·
5h
·
Discuss:
Hacker News
🔗
Concatenative Programming
C and
Undefined
Behaviour
lelanthran.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🦀
Rust Macros
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
3d
·
Discuss:
Hacker News
🎯
Gradual Typing
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
I
vibecoded
a production grade
internationalization
library in 2 days
sklivvz.com
·
10h
·
Discuss:
Hacker News
🌀
Brotli Internals
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
15h
📏
Linear Logic
Introduction
to
Flakes
nixos-and-flakes.thiscute.world
·
1d
❄️
Nix Flakes
Linux
Fundamentals
- Part 8:
Bash
Scripting (Functions)
dev.to
·
4d
·
Discuss:
DEV
🐚
Bash FP
ValentinoPalomba/FRTMProxy
: Open source alternative to Proxyman and Charles
github.com
·
8h
·
Discuss:
Hacker News
🔍
BitFunnel
ReAct
Pattern
dev.to
·
1d
·
Discuss:
DEV
✨
Effect Handlers
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
7h
·
Discuss:
Hacker News
,
r/programming
🔓
Password Cracking
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
3d
·
Discuss:
Hacker News
🔗
Functional Compilers
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Compile
and Run Your First Program
emojicode.org
·
3d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
1d
·
Discuss:
DEV
🔄
Language Evolution
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