🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧠 Program Logic
Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Memory Safety in Web Rust System Zero Cost Secure(1750594760521200)
dev.to
·
9h
·
Discuss:
DEV
🦀
Rust Borrowing
Lockfree Programming: A Mental Model
xorvoid.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
⚡
Hardware Transactional Memory
Coping with Complexity
slott56.github.io
·
1d
🔗
Concatenative Programming
What Is Wrong with Statement Coverage
bullseye.com
·
3h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Program Synthesis is Interesting and Open
stephendiehl.com
·
20h
·
Discuss:
Hacker News
💻
Programming languages
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to
·
16h
·
Discuss:
DEV
🦀
Rust Borrowing
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog
·
2d
🧮
Theorem Proving
Memory Safety in Web Rust System Zero Cost Secure(1750545683665600)
dev.to
·
23h
·
Discuss:
DEV
🦀
Rust Borrowing
Basic facts about GPUs
damek.github.io
·
15h
·
Discuss:
Lobsters
,
Hacker News
🖥️
Hardware Architecture
Show HN: I built a focus-driven task manager and pom timer that sorts by urgency
fluxtimer.com
·
8h
·
Discuss:
Hacker News
🔩
Systems Programming
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: AI Distiller (aid) reduces hallucinations during vibe coding
github.com
·
4h
·
Discuss:
Hacker News
✨
Effect Handlers
Memory Safety in Web Rust System Zero Cost Secure(1750525775079000)
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Borrowing
Transitioning from Assembly to C: Challenges and Solutions for Programmers Effectively
dev.to
·
17h
·
Discuss:
DEV
🔩
Systems Programming
Memory Safety in Web Rust System Zero Cost Secure(1750506908117500)
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure(1750491469901500)
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust Borrowing
Rust Concurrency Mastery: Safe Threading, Mutexes, Channels, and Atomic Operations Guide
dev.to
·
1d
·
Discuss:
DEV
🦀
Embedded Rust
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com
·
1d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Memory Safety Revolution Memory Leaks Modern Web(1750574666743000)
dev.to
·
15h
·
Discuss:
DEV
🧠
Memory Allocators
Loading...
Loading more...
Page 2 »