Skip to main content
🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💻 Programming languages
programming language theory
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
13826
posts in
284.6
ms
LLM's and
Smaller
, Less Popular Programming
Languages
scottarbeit.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
**Master Python Type Hints: 8 Advanced
Techniques
for
Cleaner
, Error-Free Code**
dev.to
·
1h
·
Discuss:
DEV
🔤
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Halting
Problem
en.wikipedia.org
·
2h
·
Discuss:
Hacker News
🔍
Type Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Beyond Python: Why LLMs Need More
Stable
, Open Source Code
thenewstack.io
·
5h
🔄
Language Evolution
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Java gives a status update about new language features --
Constant
Patterns and Pattern
Assignment
!
mail.openjdk.org
·
21h
·
Discuss:
Hacker News
,
r/programming
✅
Format Verification
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Which programming
languages
are most
token-efficient
?
martinalderson.com
·
2d
·
Discuss:
Lobsters
📝
Concrete Syntax
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Limited Math:
Aligning
Mathematical
Semantics
with Finite Computation
arxiv.org
·
1d
λ
Lambda Encodings
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
BASIC Programming With No
Strings
Attached
hackaday.com
·
15h
🔗
Concatenative Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Program Reduction: A Win for
Recursion
Schemes
newartisans.com
·
5d
🔗
Functional Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Climbing
the mountain: or,
venturing
into PL theory
techne98.com
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Top 10 Books we read in 2025
data4sci.substack.com
·
2h
·
Discuss:
Substack
🌍
Cultural Algorithms
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Java
Generics
and Collections • Maurice
Naftalin
& Stuart Marks
youtube.com
·
1d
λ
Lambda Formalization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why AI is
pushing
developers toward
typed
languages
github.blog
·
1d
·
Discuss:
Hacker News
🎯
Gradual Typing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
An
Ode
to Language
martinrue.com
·
20h
📼
Cassette Linguistics
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Automatic
async
to
sync
code conversion
psycopg.org
·
9h
·
Discuss:
Hacker News
🌳
Incremental Parsing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Is Rust
faster
than C?
steveklabnik.com
·
1h
·
Discuss:
Hacker News
🦀
Rust Borrowing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Functional
Optics
for Modern Java
blog.scottlogic.com
·
1d
⟷
Bidirectional Programming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Issue 506
haskellweekly.news
·
2d
🔗
Functional Compilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Type
inference
of all
constructs
and the next 15 months
elixir-lang.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏛️
Agda
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
research!
rsc
: Pulling a New Proof from
Knuth
’s Fixed-Point Printer
research.swtch.com
·
7h
·
Discuss:
Lobsters
,
Hacker News
📐
Interval Arithmetic
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
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