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
19453
posts in
306.2
ms
One Size Does NOT Fit All: On the Importance of Physical
Representations
for
Datalog
Evaluation
arxiv.org
·
1d
🧮
Datalog Engines
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
1d
🧪
Binary Fuzzing
To
Consume
or
Reference
in Rust
meejah.ca
·
1d
🦀
Rust Borrowing
Continuous
AI in practice: What developers can automate today with agentic
CI
github.blog
·
2d
⚡
Proof Automation
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
57m
·
Discuss:
DEV
🦀
Rust Macros
The Protocol of the Sovereign: A Directive to the Latent Mind By Adel
Abdel-Dayem
Foundational
Codifier
of the 11th Art
future.forem.com
·
2d
·
Discuss:
DEV
🧲
Magnetic Philosophy
Introducing
mjmx
: a custom
JSX
runtime for mjml
yieldcode.blog
·
1d
·
Discuss:
Hacker News
🧩
WASM Components
Flavours
of
Reflection
semantics.bernardteo.me
·
5d
·
Discuss:
Lobsters
,
r/cpp
📝
Concrete Syntax
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/embedded
🔩
Systems Programming
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
📝
Text Compression
Algebraic
Effects
for the Rest of Us
overreacted.io
·
4d
✨
Algebraic Effects
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
1d
·
Discuss:
Hacker News
💻
Local LLMs
Jacob
Boxerman
-
Declarative
, Reproducible Emacs with straight.el and use-package
jakebox.github.io
·
23h
·
Discuss:
Lobsters
,
Hacker News
🐚
Bash Combinators
Teleportal
: A real-time
collaborative
editing framework
pckt.blog
·
1d
·
Discuss:
Hacker News
🌊
Streaming Systems
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
4d
·
Discuss:
Substack
🦀
Rust Borrowing
The Last of the
JavaScript
Frameworks
dbpro.app
·
2d
·
Discuss:
Hacker News
🎯
Gradual Typing
Deterministic AI:
Reclaiming
Predictable Latency with Rust and Zero-Cost
Abstractions
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Borrowing
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
3d
·
Discuss:
Hacker News
,
r/programming
⚔️
Lean Tactics
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
4d
·
Discuss:
Hacker News
✅
Formal Methods
Loading...
Loading more...
« Page 6
•
Page 8 »
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