๐ฟ๏ธ Scour
Browse
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
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
11643
posts in
1.95
s
Some Lean Syntax for Knuckledragger
philipzucker.com
ยท
20h
๐
Concrete Syntax
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net
ยท
2d
ยท
Discuss:
Hacker News
๐
Functional Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Advent of Swift
leahneukirchen.org
ยท
1d
๐
Lisp
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org
ยท
15h
โฌ๏ธ
Lambda Lifting
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Tautological assertions are not always caused by aliasing
blog.ploeh.dk
ยท
4h
โ๏ธ
Hoare Logic
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The evolution of an extension language: a history of Lua
lua.org
ยท
1d
๐
Language Evolution
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What 30 Years of Python Reveal About Programming Language Design?
dev.to
ยท
5h
ยท
Discuss:
DEV
๐ป
Programming languages
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Understanding Mathematics Through Lean
bytesauna.com
ยท
12h
ยท
Discuss:
Hacker News
๐ฌ
Lean
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing a mockable Filesystem trait in Rust without RefCell
pyk.sh
ยท
8h
ยท
Discuss:
Hacker News
๐ฆ
Rust Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
TLA+ modeling tips
muratbuffalo.blogspot.com
ยท
1h
ยท
Discuss:
www.blogger.com
โ๏ธ
TLA+
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Execline 101
troubleshooters.com
ยท
1d
๐
Shell Parsing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org
ยท
15h
ฮป
Lambda Encodings
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing CLIs
markjgsmith.com
ยท
2d
๐
CLI Design
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Type Stripping with Zero Dependencies
termer.net
ยท
2d
ยท
Discuss:
Hacker News
๐ฏ
Gradual Typing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
My experience with Lean 4 for general programming
quamserena.com
ยท
4d
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ClickHaskell 1.0.0 is out
github.com
ยท
1d
ยท
Discuss:
Lobsters
๐
Functional Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rust's v0 mangling scheme in a nutshell
purplesyringa.moe
ยท
5h
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Living In Flatland
irreal.org
ยท
3d
๐ฆ
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
We Lost Something: 1970s REPLs Were Better Than Modern Development Environments
programmingsimplicity.substack.com
ยท
2d
ยท
Discuss:
Substack
๐
APL Heritage
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch
ยท
3d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »