🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Logic in Computer Science
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog
·
2d
🧮
Theorem Proving
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org
·
1d
·
Discuss:
Hacker News
💻
Programming languages
A very short book note
logicmatters.net
·
2d
⚔️
Lean Theorem
Cactus Language • Syntax 10
inquiryintoinquiry.com
·
4h
📝
Concrete Syntax
The dark side of Python (for CS students before learning Python)
gist.github.com
·
7h
·
Discuss:
Hacker News
💻
programming languages
Boolean Blindness
existentialtype.wordpress.com
·
2d
·
Discuss:
Hacker News
🔲
Proof Irrelevance
Counting with Categories (Part 1)
golem.ph.utexas.edu
·
5h
λ
Lambda Formalization
Coping with Complexity
slott56.github.io
·
1d
🔗
Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure(1750594760521200)
dev.to
·
8h
·
Discuss:
DEV
🦀
Rust Borrowing
Program Synthesis is Interesting and Open
stephendiehl.com
·
19h
·
Discuss:
Hacker News
💻
Programming languages
Experiment proposal: In-place initialization
github.com
·
5h
🦀
Rust Macros
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
higher: Your favourite Haskell type classes for Rust (2023)
github.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
What Is Wrong with Statement Coverage
bullseye.com
·
2h
·
Discuss:
Hacker News
🧪
Property-Based Testing
My first experience with Formal Methods | ZipCPU
zipcpu.com
·
3d
🔧
Hardware Verification
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net
·
3d
·
Discuss:
Hacker News
🔢
Denotational Semantics
Lockfree Programming: A Mental Model
xorvoid.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
⚡
Hardware Transactional Memory
Python Fundamentals: all
dev.to
·
22h
·
Discuss:
DEV
💧
Liquid Types
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol
·
1d
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Implementing Ray Tracing In One Weekend in F#
heftymouse.me
·
7h
·
Discuss:
Hacker News
🔗
Functional Compilers
Loading...
Loading more...
Page 2 »