💻 CS

computer science, automata, theory, computation

Proving that every program halts
ntietz.com·3d
👑Isabelle
A Rubyist's guide to big-O notation
honeybadger.io·1d
🌳Trie Structures
Pedagogy Unchained
learning-with-orin.beehiiv.com·7h·
Discuss: Hacker News
🤖Grammar Induction
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Informatics student awarded Glushko Dissertation Prize for a thesis about honeybee dance
informatics.ed.ac.uk·22h
🔲Cellular Automata
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·1d
🧠Machine Learning
The Social and Academic Upsides of Pair Programming
hackernoon.com·3d
🔄Lens Laws
Structured Text computing: SPL Practice
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·4h
🎯Dependent Parsing
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·4h
📊Quantization
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.org·1d
🤖Advanced OCR
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·2d
🧮Prolog Parsing
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·2d
⚽Sphere Packing
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·1d·
Discuss: DEV
📐Error Bounds
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·4h
🔍BitFunnel
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures