🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💻 CS
computer science, automata, theory, computation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
C++: Maps on Chains
bannalia.blogspot.com
·
23m
·
Discuss:
Hacker News
🏹
Effect Systems
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org
·
3h
🐫
Embedded OCaml
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
The Right Approach to Authorization in RAG
osohq.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
13h
·
Discuss:
Substack
🐫
Embedded OCaml
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org
·
3h
➡️
Category Theory
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io
·
1d
·
Discuss:
Hacker News
🔄
Finite State Machines
There are exponentially many vectors with small inner product
lmao.bearblog.dev
·
13h
·
Discuss:
Hacker News
➡️
Category Theory
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com
·
35m
·
Discuss:
Hacker News
👁️
System Observability
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org
·
3h
🔍
Formal Verification
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org
·
1d
🐫
OCaml
Education 3.0
doc.searls.com
·
17h
·
Discuss:
Hacker News
🎮
Verification Games
Beyond the Linear Separability Ceiling
arxiv.org
·
3h
➡️
Category Theory
Data Science Weekly – Issue 607
datascienceweekly.substack.com
·
4h
·
Discuss:
Substack
👁️
System Observability
Types are Transforming Python
spin.atomicobject.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
The REM-arkable Misadventures of LIST
masswerk.at
·
3d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com
·
16h
·
Discuss:
Hacker News
🔠
Type-Level Programming
LLMs show cultural theory was right about the death of the author
programmablemutter.com
·
14h
·
Discuss:
Hacker News
➡️
Category Theory
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org
·
3h
🐫
Embedded OCaml
Loading...
Loading more...
« Page 1
•
Page 3 »