💻 CS

computer science, automata, theory, computation

Mike Driscoll: Python Books and Courses – Back to School Sale
blog.pythonlibrary.org·17h
📝Concrete Syntax
Das Problem mit German Strings
polarsignals.com·13h·
Discuss: Lobsters, Hacker News
✅Format Verification
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
The Coding Agent Metagame
calv.info·19h·
Discuss: Hacker News
🦀Rust Macros
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Stop Being a Replaceable Printer
dev.to·1h·
Discuss: DEV
🔄Reproducible Builds
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·6h
💻Local LLMs
Generative Interfaces for Language Models
arxiv.org·6h
⚙️Parser Generators
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·1d
🤝Consensus Protocols
"Where does it hurt?" - Dataset and Study on Physician Intent Trajectories in Doctor Patient Dialogues
arxiv.org·6h
🏛Digital humanities
scI2CL: Effectively Integrating Single-cell Multi-omics by Intra- and Inter-omics Contrastive Learning
arxiv.org·6h
🧠Machine Learning
Building Chrome Dinosaur Game in Pygame (Part 0: Intro & Setup)
dev.to·5h·
Discuss: DEV
🎮Game Decompilation
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.org·1d
🌍Cultural Algorithms
Alternating Training-based Label Smoothing Enhances Prompt Generalization
arxiv.org·1d
📊Learned Metrics
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·1d
🖼️JPEG Forensics
AI-Assisted Development: A Three-Act Play
betweentheprompts.com·1d·
Discuss: Hacker News
🤖AI Curation
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·1d
🌸Bloom Variants