🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Process Calculi
π-calculus, CCS, CSP, Concurrency Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Cyclic Implicit Complexity
arxiv.org
·
21h
🐫
OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com
·
10h
·
Discuss:
Substack
⚙️
Operating System Design
Systems Engineering for Agentic Applications
agenticapplications.substack.com
·
11h
·
Discuss:
r/programming
🩹
Self-Healing Systems
Lively Linear Lisp (1992)
plover.com
·
23h
·
Discuss:
Lobsters
,
Hacker News
🐫
Embedded OCaml
Math Moments: Blaise Pascal
kidswholovemath.substack.com
·
11h
·
Discuss:
Substack
🧮
Lambda Calculus
Isolated(any)
nshipster.com
·
9h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Help me understand: how do multiverse acausal trades work?
lesswrong.com
·
21h
🧠
Automated Reasoning
Lessons from building an AI data analyst
pedronasc.com
·
8h
·
Discuss:
Hacker News
🧠
Automated Reasoning
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev
·
2d
·
Discuss:
r/rust
⚙️
PL Implementation
Inferno Part 2: Let's Make a Cluster
debu.gs
·
15h
·
Discuss:
Hacker News
🏠
HomeLab
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org
·
21h
🧠
Automated Reasoning
Tripping Around REPL
vlaaad.github.io
·
15h
·
Discuss:
Hacker News
🛡️
seL4
Breaking Verifiable Abstractions
alperenkeles.com
·
13h
·
Discuss:
Hacker News
,
r/programming
🔍
Formal Verification
Combining struct literal syntax with read-only field access
kobzol.github.io
·
14h
·
Discuss:
Lobsters
,
r/rust
🐫
Embedded OCaml
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🐫
Embedded OCaml
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com
·
4h
·
Discuss:
Lobsters
🔧
Unikernel Development
Liquidsoap Release 2.4.0
liquidsoap.info
·
6h
·
Discuss:
Hacker News
🐳
Containerization
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai
·
10h
·
Discuss:
Hacker News
📚
Automata Learning
Method Iteration: An LLM Prompting Technique
lesswrong.com
·
3d
📚
Automata Learning
Loading...
Loading more...
Page 2 »