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
🧪 Compiler Testing
Differential Testing, Fuzzing, Property Testing, Metamorphic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83122
posts in
556.5
ms
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
2d
🔄
Protocol State Machines
Parity
,
Sensitivity
, and Transformers
arxiv.org
·
1d
⚡
Partial Evaluation
Detecting
backdoored
language models at scale
microsoft.com
·
2d
·
Discuss:
Hacker News
🎲
Parser Fuzzing
Sidestepping
Evaluation Awareness and
Anticipating
Misalignment with Production Evaluations
alignment.openai.com
·
1d
·
Discuss:
Hacker News
⚡
JIT Optimizations
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
2d
🔗
Concurrency Primitives
Extending
Qodana
: Adding Custom Code Inspections | The
JetBrains
Platform Blog
blog.jetbrains.com
·
1d
🩺
Compiler Diagnostics
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
3d
🧩
Constraint Logic
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
11h
·
Discuss:
DEV
⚡
Interpreter Optimization
Beyond the
Chatbox
: Engineering Your Prompts with the
Trinity
Framework
dev.to
·
1h
·
Discuss:
DEV
🎮
Language Ergonomics
Vibecoding
Audit
erik.wiffin.com
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Vibe
Coding Design Study:
Tlparse
blog.ezyang.com
·
3d
·
Discuss:
Hacker News
🌊
Gradual Effects
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
1d
·
Discuss:
Substack
💬
Interactive REPLs
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
14h
📡
Erlang BEAM
Continual
learning and the post
monolith
AI era
baseten.co
·
8h
·
Discuss:
Hacker News
🧠
Memory Models
Java Explores Carrier
Classes
to Extend
Data-Oriented
Programming Beyond Records
infoq.com
·
2d
📋
Row Typing
My Experience with
Vibe
Coding
haskellforall.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🌈
Gradual Languages
Testing
CLIs
with
Scrut
cgamesplay.com
·
2d
·
Discuss:
Hacker News
🧪
Test DSLs
Build LLM-Powered
Documentation
that Always Stays True to latest
codebeases
pub.towardsai.net
·
1d
📚
Self-Documenting Code
Claude
Opus
4.6 Finds 500+
High-Severity
Flaws Across Major Open-Source Libraries
thehackernews.com
·
1d
🩺
Compiler Diagnostics
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
1d
·
Discuss:
Hacker News
⚡
Tokenizer Optimization
Loading...
Loading more...
« Page 7
•
Page 9 »
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