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
19413
posts in
446.6
ms
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
2d
⏰
Temporal Logic
Parity
,
Sensitivity
, and Transformers
arxiv.org
·
1d
💎
Information Crystallography
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
3d
📜
Proof Carrying Code
CodeSOD
: A
Percise
Parser
thedailywtf.com
·
4d
🌳
Incremental Parsing
I Built a
Full-Stack
F1
Fantasy Platform in 4 Weeks
dev.to
·
2h
·
Discuss:
DEV
🔌
Interface Evolution
Efficiency
and Performance
dev.to
·
14h
·
Discuss:
DEV
🔩
Systems Programming
Intentionally
Designing
the Future of AI
goodfire.ai
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Maiasa
: A next-gen, fast, robust,
ethical
language model (that can only say "a")
maiasa.ai
·
4d
·
Discuss:
Hacker News
🌳
Context free grammars
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
14h
·
Discuss:
Hacker News
,
r/LocalLLaMA
⚡
Performance Mythology
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
2d
🦀
Rust Macros
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Context
Engineering for Coding Agents
martinfowler.com
·
2d
·
Discuss:
Hacker News
✨
Effect Handlers
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
🌊
Streaming Algorithms
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
3d
·
Discuss:
Lobsters
🦀
Rust Macros
How not to program in
Dyalog
APL
toolofthought.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🧪
Binary Fuzzing
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
⚔️
Lean Tactics
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
1d
·
Discuss:
Substack
⚙️
RISC-V Microcode
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
2d
·
Discuss:
Substack
✨
Effect Handlers
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
2d
·
Discuss:
Hacker News
🎯
Emulator Accuracy
Loading...
Loading more...
« Page 8
•
Page 10 »
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