💻 CS

computer science, automata, theory, computation

How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·8h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·8h·
Discuss: Hacker News
🩹Self-Healing Systems
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·1d·
Discuss: r/LocalLLaMA
🐫OCaml
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·2h·
Discuss: Hacker News
🔬Unikernels
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·1d·
Discuss: Hacker News
🤖Program Synthesis
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·14h
🧩Parser Combinators
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·2d·
Discuss: Hacker News
🐫OCaml
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·10h·
Discuss: Hacker News
🐫OCaml
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·14h·
Discuss: Hacker News
🤖Program Synthesis
Using Haskell in Production
agentultra.com·9h·
Discuss: Hacker News
🔠Type-Level Programming
How Python Implements List Comprehensions
pythonkoans.substack.com·1d·
Discuss: Substack
📐Denotational Semantics
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·5h·
Discuss: r/programming
🔬Unikernels
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·3d·
Discuss: Hacker News
📚Automata Learning
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·4h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Sphinx – the Jupyter-native AI copilot for data scientists
sphinx.ai·13h·
Discuss: Hacker News
🧠Automated Reasoning