Feeds to Scour
SubscribedAll
Scoured 13762 posts in 301.0 ms
Investigating Record-Based Domain Models
coding-mischief.com·1h·
Discuss: Hacker News
🔢Denotational Semantics
Preview
Report Post
The Secret Life of Go: Testing
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
Khorikov Unit Testing Guide
binaryphile.com·3d
🔍Concolic Testing
Preview
Report Post
Is Rust faster than C?
steveklabnik.com·17h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·22h·
📐Interval Arithmetic
Preview
Report Post
Alex-Ozun/swift-effect: Algebraic Effects and Effect Handlers for Swift
github.com·1d
Effect Handlers
Preview
Report Post
Misc engineering truisms
macwright.com·2d
🔩Systems Programming
Preview
Report Post
Why AI Agents Fail Tests by Being Too Smart: A Guide to Proper Evaluation
dev.to·14h·
Discuss: DEV
Proof Automation
Preview
Report Post
Don't fall into the anti-AI hype
antirez.com·2h·
🔲Cellular Automata
Preview
Report Post
Primecoin primality test
johndcook.com·20h
🔱Galois Cryptography
Preview
Report Post
TinyOS 2.1.2 printfUART Global Buffer Overflow via Unbounded Format Expansion
seclists.org·8h
Format Verification
Preview
Report Post
Out-of-Context: Constrained Tool Based Exploration of Context
gojiberries.io·14h·
Discuss: Hacker News
🌳Context free grammars
Preview
Report Post
Metamorphic Testing: A New Approach for Generating Next Test Cases
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
Don't be afraid of Test-Driven Development
everydaysuperpowers.dev·5d
🔍Concolic Testing
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·11h·
⬆️Lambda Lifting
Preview
Report Post
Beyond the Flat Table: Building an Enterprise-Grade Financial Model in Power BI
towardsdatascience.com·23h
🧮Algebraic Datatypes
Preview
Report Post
Build Cheaper, Safer, Auditable AI with SLMs and RAG
thenewstack.io·18h
🌊Stream Processing
Preview
Report Post
Subagents, Commands and Skills Are Converging
vivekhaldar.com·8h·
Discuss: Hacker News
🔐Capability Systems
Preview
Report Post
Introduction to Formal Methods – Part 1
vikramsg.github.io·5d·
Discuss: Hacker News
Formal Methods
Preview
Report Post
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·1d
λLambda Formalization
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help