💻 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·1d·
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·8h·
Discuss: DEV
🔲Cellular Automata
Job Posting: Systems and Security Administrator
citizenlab.ca·10h
🏠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·1d
👑Dependent Haskell
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·13h
🎯Gradual Typing
Paradigms of Intelligence Team
github.com·12h·
Discuss: Hacker News
🔲Cellular Automata
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·10h·
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·7h·
Discuss: Hacker News
🦀Rust Macros
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·21h
🗂️Vector Databases
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·6h·
Discuss: Hacker News
🧮Algebraic Datatypes
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Mojo Vision
docs.modular.com·21h·
Discuss: Hacker News
🔩Systems Programming
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·21h
🎯Performance Proofs
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·11h
📐Geometric Hashing