💻 CS

computer science, automata, theory, computation

Zahlen, bitte! Solomon W. Golomb and an octillion IT systems
heise.de·1d
🇷🇺Russian Computing
Hardest Question From China’s University Entrance Exam
mindyourdecisions.com·1d
🧮SMT Solvers
Getting Into Flow State with Agentic Coding
kau.sh·1d
⚡Proof Automation
Interfaces That Augment or Replace?
zehfernandes.com·21h·
Discuss: Hacker News
📟CLI Design
How complicated is the code of the borrow checker?
reddit.com·22h·
Discuss: r/rust
🦀Rust Borrowing
Within 5 Years, All Engineers Will Be Systems Integrators
quicktea.ai·16h·
Discuss: Hacker News
⚙️TLA+
Understanding Matrices | Part 3: Matrix Transpose
towardsdatascience.com·1d
📐Linear Algebra
DeLLMa: Decision Making Under Uncertainty with Large Language Models
dellma.github.io·16h·
Discuss: Hacker News
🔗Constraint Handling
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·1d·
Discuss: Hacker News
🧮Z3 Applications
Active RISs: Modeling and Optimization
arxiv.org·1d
⚙️Modern Assembly
🧬 Natural Selection in Code, AI, and Generative AI
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Obscured but Not Erased: Evaluating Nationality Bias in LLMs via Name-Based Bias Benchmarks
arxiv.org·7h
💻Programming languages
Strategic Integration of AI Chatbots in Physics Teacher Preparation: A TPACK-SWOT Analysis of Pedagogical, Epistemic, and Cybersecurity Dimensions
arxiv.org·2d
🗺️Competency Maps
Developing an AI-Guided Assistant Device for the Deaf and Hearing Impaired
arxiv.org·2d
👂Psychoacoustic Coding
HOComp: Interaction-Aware Human-Object Composition
arxiv.org·1d
📐Projective Geometry
Optimizing Tool Selection in LLM Workflows(Part 2): A DSPy and PyTorch Benchmark
viksit.substack.com·14h·
Discuss: Substack
✨Effect Handlers
Case Study: Reducing Study Anxiety with Automation
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Python Fundamentals: class variables
dev.to·2d·
Discuss: DEV
🐛Fuzzing
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·7h
🧠Computational Logic
Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
arxiv.org·7h
🔲Cellular Automata