💻 CS

computer science, automata, theory, computation

Programming Entry Level: how to interpreter
dev.to·14h·
Discuss: DEV
🔗Lisp
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Signal Use and Emergent Cooperation
arxiv.org·10h
🔲Cellular Automata
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Proficient Python: Course Overview
proficientpython.com·5h
🔗Concatenative Programming
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝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·13h·
Discuss: Hacker News
🦀Rust Macros
Counting with Categories (Part 1)
golem.ph.utexas.edu·2d
λLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
AI and ML Courses in Bangalore: Master Exploratory Data Analysis
dev.to·2h·
Discuss: DEV
🎵Audio ML
Proving that every program halts
ntietz.com·2d
👑Isabelle
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·21h·
Discuss: Hacker News
💻Local LLMs
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·10h
💻Local LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Complexity