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
19441
posts in
258.2
ms
FMBench
: Adaptive Large Language Model Output
Formatting
arxiv.org
·
1d
🔤
Tokenization
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🔓
Lock-Free Structures
language games
ascara.bearblog.dev
·
4d
🔐
Escape Rooms
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
4d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🏗️
LLM Infrastructure
felt
the
flow
while programming
skuka.online
·
4d
⚡
Developer Experience
The
Agentic
Lab
skool.com
·
4d
🏗️
LLM Infrastructure
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🕯️
Candle
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
2d
⚡
DataFusion
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚙
Rust Compiler Internals
1M
token context: The good, the bad and the
ugly
(2025)
micron.com
·
4d
·
Discuss:
Hacker News
💾
Prompt Caching
February 2026
Roadmap
for AI in
Visual
Studio
elevenforum.com
·
5d
🔧
Developer tools
Crafting
the Eyes for Thinking Machines: The “White Box”
VLM
pub.towardsai.net
·
3d
🏗️
LLM Infrastructure
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
📐
TLA+
DavidLevi1998/programming-foundations-python
: A structured exploration of programming fundamentals in Python, focused on mental models, state, control flow, and
abstraction
.
github.com
·
5d
·
Discuss:
Hacker News
🪄
Prompt Engineering
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
4d
·
Discuss:
Hacker News
✏️
Code Editors
On
craft
and AI
slightknack.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
🎭
Claude
Java Explores Carrier
Classes
to Extend
Data-Oriented
Programming Beyond Records
infoq.com
·
5d
💾
Binary Formats
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
5d
·
Discuss:
Hacker News
🪄
Prompt Engineering
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
6d
·
Discuss:
Lobsters
,
Hacker News
📏
Linear Types
Validation
is the
bottleneck
. Not code gen
kerno.io
·
4d
·
Discuss:
Hacker News
🚀
Startups
Loading...
Loading more...
« Page 18
•
Page 20 »
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