🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚖️ Hoare Logic
Program Correctness, Preconditions, Postconditions, Axiomatic Semantics
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Program Synthesis is Interesting and Open
stephendiehl.com
·
10h
·
Discuss:
Hacker News
💻
Programming languages
Coping with Complexity
slott56.github.io
·
23h
🔗
Concatenative Programming
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog
·
2d
🧮
Theorem Proving
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to
·
7h
·
Discuss:
DEV
🧬
Functional Programming
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Boolean Blindness
existentialtype.wordpress.com
·
2d
·
Discuss:
Hacker News
🔲
Proof Irrelevance
Lockfree Programming: A Mental Model
xorvoid.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
⚡
Hardware Transactional Memory
higher: Your favourite Haskell type classes for Rust (2023)
github.com
·
21h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
My first experience with Formal Methods | ZipCPU
zipcpu.com
·
3d
🔧
Hardware Verification
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Memory Safety in Web Rust System Zero Cost Secure(1750570224424500)
dev.to
·
6h
·
Discuss:
DEV
🦀
Rust Borrowing
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net
·
2d
·
Discuss:
Hacker News
🔢
Denotational Semantics
Python Fundamentals: arguments
dev.to
·
11h
·
Discuss:
DEV
💧
Liquid Types
Towards Bug-Free Distributed Go Programs
arxiv.org
·
3d
·
Discuss:
r/compsci
🌐
Protocol Synthesis
To Bind and Loose a Reference
thephd.dev
·
12h
·
Discuss:
Lobsters
,
Hacker News
🎯
Gradual Typing
Reflection and open implementations (2006)
dcc.uchile.cl
·
20h
·
Discuss:
Lobsters
,
Hacker News
🌐
Protocol Synthesis
The Architecture of Web-Based Graphic Editors and 7 Design Patterns (Part 2)
dev.to
·
1h
·
Discuss:
DEV
✨
Effect Handlers
Memory Safety in Web Rust System Zero Cost Secure(1750545683665600)
dev.to
·
13h
·
Discuss:
DEV
🦀
Rust Borrowing
Counterfactuals
plato.stanford.edu
·
2d
·
Discuss:
Hacker News
🔲
Proof Irrelevance
Show HN: Cartesian vs. Sparse Merkle Trees – faster treap-based design in Go
rafaelescrich.medium.com
·
1d
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
Loading...
Loading more...
Page 2 »