💻 CS

computer science, automata, theory, computation

Programming Entry Level: how to interpreter
dev.to·23h·
Discuss: DEV
🔗Lisp
Cactus Language • Syntax 12
inquiryintoinquiry.com·6h
📝Concrete Syntax
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Signal Use and Emergent Cooperation
arxiv.org·18h
🔲Cellular Automata
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
'The Computer-Science Bubble Is Bursting'
developers.slashdot.org·5h
🧮Theoretical Computer Science
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Travels, 10
cameroncounts.wordpress.com·7h
🎯Performance Proofs
Proficient Python: Course Overview
proficientpython.com·13h
🔗Concatenative Programming
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·16h
📝Concrete Syntax
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·21h·
Discuss: Hacker News
🦀Rust Macros
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·8h·
Discuss: DEV
📏Code Metrics
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·1h·
Discuss: Hacker News
📊Graph Databases