💻 CS

computer science, automata, theory, computation

Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
SAT Requires Exhaustive Search
link.springer.com·20h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Software Internals Book Club
eatonphil.com·10h
⚙️Operating System Design
318
skynettoday.com·1d
🌀Brotli Internals
A New Concurrent ML in Guile Scheme
wingolog.org·8h·
Discuss: Hacker News
🔄Lens Laws
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·8m
🧮Kolmogorov Complexity
[D] Seeking advice on choosing PhD topic/area
reddit.com·11h·
Discuss: r/MachineLearning
🧠Machine Learning
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Philosophers and Embedded Ethics (guest post)
dailynous.com·4h
⚖️Archive Ethics
From Drift to Discipline: How Governed Cognition Makes AI a Reliable Junior Developer
hackernoon.com·18h
⚔️Lean Tactics
CAMA: Enhancing Mathematical Reasoning in Large Language Models with Causal Knowledge
arxiv.org·12h
🧮Kolmogorov Complexity
My take on a "IDE" for Claude Code with activities while you are vibe coding
sssli.de·2h·
Discuss: Hacker News
📝Compiler Design
Pragmatism in Programming Proverbs
gingerbill.org·7h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
🚀 DSA: The 8-Week Grind – Join Me in This Challenge! (Week 1, Day 1 Recap)
dev.to·10h·
Discuss: DEV
🗂Data structures
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·4h·
Discuss: Hacker News
📼Tape Combinators
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·15h·
Discuss: Hacker News
📊Citation Graphs