💻 CS

computer science, automata, theory, computation

Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
📝Text Parsing
Structural vs. Mathematical “Under” (2023)
dyalog.com·18h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Teaching programming languages
kmjn.org·1d
💻Programming languages
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Job Posting: Systems and Security Administrator
citizenlab.ca·4h
🏠Homelab Security
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
GenAI, the KSA Model, and Why Industry-Experienced CS Teachers Matter More Than Ever
cacm.acm.org·1d
🗺️Competency Maps
Guessing Game: Haskell Style
entropicthoughts.com·20h
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·6h
🎯Gradual Typing
Paradigms of Intelligence Team
github.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·4h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·56m·
Discuss: Hacker News
🦀Rust Macros
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·14h
🗂️Vector Databases
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Mojo Vision
docs.modular.com·14h·
Discuss: Hacker News
🔩Systems Programming
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·14h
🎯Performance Proofs
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·4h
📐Geometric Hashing
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·5h·
Discuss: Hacker News
⚔️Lean Tactics