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
💻 Programming languages
programming language theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18003
posts in
186.5
ms
Automated Customization of LLMs for Enterprise Code
Repositories
Using Semantic
Scopes
arxiv.org
·
3d
🗣️
Domain-Specific Languages
Bayesian Networks and
Proof-Nets
: the
proof-theory
of Bayesian Inference
arxiv.org
·
4d
📏
Linear Logic
Taste
carlosbecker.com
·
6d
🎧
Learned Audio
Marriage Logic
Puzzle
And
Irrational
Puzzle
mindyourdecisions.com
·
6d
🔲
Proof Irrelevance
Boring
Go – A practical guide to writing
boring
,
maintainable
Go
golang.college
·
6d
·
Discuss:
Hacker News
λ
Lambda Formalization
Evaluating
Multilingual
Guardrails
in Humanitarian AI
blog.mozilla.ai
·
5d
·
Discuss:
Hacker News
📝
ABNF Parsing
Python
Typing
Book
Kickstarter
blog.pythonlibrary.org
·
5d
🎯
Gradual Typing
Writing
Textbooks
for
Oneself
dkislyuk.com
·
5d
·
Discuss:
Hacker News
🌱
Personal Wikis
What the
fastest-growing
tools reveal about how software is being built
github.blog
·
5d
🔄
Language Evolution
The Death of Code and the Rise of Data: The Software
Economics
Revolution
in the AI Era
yeasy.blogspot.com
·
5d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Forcing
Rust: How Big Tech
Lobbied
the Government into a Language Mandate
medium.com
·
5d
·
Discuss:
Hacker News
🦀
Embedded Rust
The Forest & The Desert Are Parallel
Universes
• Kent
Beck
• GOTO 2025
youtube.com
·
5d
🔲
Cellular Automata
My Experience with
Vibe
Coding
haskellforall.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
michaelzixizhou/codag
: Visualize AI/LLM workflows in your codebase.
github.com
·
4d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Easy
FunctionGemma
finetuning with
Tunix
on Google TPUs
developers.googleblog.com
·
6d
💧
Liquid Types
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
4d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Hello
, World! - The Rust
Programming
Language
doc.rust-lang.org
·
6d
🦀
Rust Macros
The Internet of
Babel
dolphinmade.com
·
6d
·
Discuss:
Hacker News
,
r/InternetIsBeautiful
📰
RSS Archaeology
We built a web
IDE
where AI
edits
structured code instead of text
stellisoft.com
·
6d
·
Discuss:
Hacker News
🦀
Rust Macros
Selection
Rather
Than Prediction
voratiq.com
·
6d
·
Discuss:
Hacker News
🌸
Bloom Variants
Loading...
Loading more...
« Page 17
•
Page 19 »
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