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 Dialects
Clojure, Scheme, Racket, S-expressions, Macros
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28238
posts in
18.9
ms
kiselgra/c-mera
: Next-level syntax for C-like languages :)
github.com
·
12h
·
Discuss:
Hacker News
🦀
Rust Macros
Extend
a Python-Like Language into Your Own Type-Safe
DSL
tapl-lang.org
·
1d
·
Discuss:
Hacker News
💧
Liquid Types
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
1d
🔗
Lisp
Issue 513
haskellweekly.news
·
2d
🔗
Functional Compilers
Array-Carrying
Symbolic
Execution for Function Contract Generation
arxiv.org
·
2d
⬆️
Lambda Lifting
Go 1.22: A Change in
Loop
Scoping
hackernoon.com
·
14h
📜
Proof Carrying Code
Let’s stop
copying
C
eev.ee
·
1d
🔗
Concatenative Programming
Hello
Walter
! Learning Rust on
ESP32
blog.matthewbrunelle.com
·
9h
🦀
Embedded Rust
Show HN: One grammar, 18 YAML
parsers
– a
Futamura
projector in Common Lisp
github.com
·
2d
·
Discuss:
Hacker News
🔗
Monadic Parsing
Emacs
Internals
Part 1
irreal.org
·
1d
🦀
Rust Macros
Bash
Style Guide
binaryphile.com
·
2d
✅
Shell Verification
dReLU
Sparsification: Recovering LLM Performance with
150B
Token Pretraining
hackernoon.com
·
1d
💻
Local LLMs
SCHEME An
Interpreter
For Extended Lambda
Calculus
(The Lambda Papers)
research.scheme.org
·
5d
·
Discuss:
Hacker News
🔗
Lisp
Gödel
,
slowly
…
logicmatters.net
·
13h
λ
Lambda Formalization
RustyDL
: A Program
Logic
for Rust
arxiv.org
·
3d
🦀
Rust Borrowing
Modula-2
en.wikipedia.org
·
20h
·
Discuss:
Hacker News
💻
Programming languages
An
Introduction
to
Lean
4
uv.es
·
19h
⚔️
Lean Tactics
Steel
Bank Common
Lisp
sbcl.org
·
4d
·
Discuss:
Hacker News
🔗
Lisp
The
RISC
Concept - A Survey of
Implementations
inf.fu-berlin.de
·
1d
🧩
RISC-V
Working on
Pharo
Smalltalk:
BPatterns
: Rewrite Engine with Smalltalk Style
dionisiydk.blogspot.com
·
1d
·
Discuss:
Hacker News
,
r/programming
📝
Concrete Syntax
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