💻 CS

computer science, automata, theory, computation

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Cactus Language • Stylistics 4
inquiryintoinquiry.com·15h
🌳Context free grammars
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1h
🔧RISC-V Assembler
Introduction to JavaScript
thenewstack.io·1d
🔗Concatenative Programming
Janet Feature Demos
github.com·14m·
Discuss: Lobsters
🧠Lisp Dialects
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·9h·
Discuss: Hacker News
🎯Interactive Provers
Porting a Cross-Disciplinary Text Mining Course Online Using Innovative Engagement Techniques
hackernoon.com·16h
🤖Grammar Induction
GoLang 101: Getting Started with Go
dev.to·58m·
Discuss: DEV
🧠Lisp Dialects
Show HN: Sapient – Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.com·12h·
Discuss: Hacker News
🔲Cellular Automata
OCC 2025 - Drivers, IRC, 3D and a more fitting keyboard and mouse
82mhz.net·1d
🕸️WASM Archives
Piano Keys
mathpages.com·9h·
Discuss: Hacker News
🌈Spectral Audio
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·15h·
Discuss: Hacker News
💻Programming languages
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Language Models for Adult Service Website Text Analysis
arxiv.org·2h
📝Text Parsing
A Rust Shaped Hole
mnvr.in·19h·
Discuss: Hacker News
🦀Rust Macros
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture