Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28239
posts in
26.8
ms
kiselgra/c-mera
: Next-level syntax for C-like languages :)
github.com
·
15h
·
Discuss:
Hacker News
🧠
Lisp Dialects
Array-Carrying
Symbolic
Execution for Function Contract Generation
arxiv.org
·
2d
⬆️
Lambda Lifting
SCHEME An
Interpreter
For Extended Lambda
Calculus
(The Lambda Papers)
research.scheme.org
·
5d
·
Discuss:
Hacker News
🧠
Lisp Dialects
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
1d
🧠
Lisp Dialects
Gödel
,
slowly
…
logicmatters.net
·
16h
λ
Lambda Formalization
An
Introduction
to
Lean
4
uv.es
·
22h
⚔️
Lean Tactics
Let’s stop
copying
C
eev.ee
·
1d
🔗
Concatenative Programming
Extend
a Python-Like Language into Your Own Type-Safe
DSL
tapl-lang.org
·
1d
·
Discuss:
Hacker News
💧
Liquid Types
Differential
Logic
• 14
inquiryintoinquiry.com
·
17h
🔬
Logic in Computer Science
Go 1.22: A Change in
Loop
Scoping
hackernoon.com
·
17h
📜
Proof Carrying Code
Learn
Lua
in Y Minutes
learnxinyminutes.com
·
2d
🔗
Concatenative Programming
Emacs
Internals
Part 1
irreal.org
·
1d
🦀
Rust Macros
Show HN: One grammar, 18 YAML
parsers
– a
Futamura
projector in Common Lisp
github.com
·
2d
·
Discuss:
Hacker News
🔗
Monadic Parsing
DeCo
: A Core
Calculus
for Incremental Functional Programming with Generic Data Types
arxiv.org
·
4d
🔗
Functional Compilers
Python Virtual
Environment
blog.raymond.burkholder.net
·
14h
⚙️
WASM Runtime
Interactive
explanations
- Agentic Engineering
Patterns
simonwillison.net
·
10h
⚡
Proof Automation
Linkage
11011110.github.io
·
15h
🕳️
Persistent Homology
Retroforth
: A Modern, Pragmatic
Forth
retroforth.org
·
15h
·
Discuss:
Hacker News
🔗
Concatenative Programming
TurboSparse-LLM
Performance: Outperforming
Mixtral
and Gemma with Extreme Sparsity
hackernoon.com
·
1d
⚙️
Compression Benchmarking
Issue 513
haskellweekly.news
·
2d
🔗
Functional Compilers
Loading...
Loading more...
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