💻 CS

computer science, automata, theory, computation

Python heapq.nlargest vs list.sort
ddaa.net·2h·
Discuss: r/programming
🏹Effect Systems
Galois field instructions on 2021 CPUs
corsix.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The XINU Page
xinu.cs.purdue.edu·13h·
Discuss: Hacker News
📦Unikernel Systems
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·4h·
Discuss: Hacker News
✓Automated Theorem Proving
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·9h
🎮Verification Games
Bridging Expressivity and Scalability with Adaptive Unitary SSMs
arxiv.org·3d
🐫OCaml
Curiosity-Driven Encryption: A Collatz Conjecture-Inspired Block Cipher with Real-Time Visualizations
reddit.com·1d·
Discuss: r/programming
🐫OCaml
Interleaving Logic and Counting
arxiv.org·3d
✓Automated Theorem Proving
guile lab notebook: on the move!
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·9h
✓Automated Theorem Proving
25 Additional Problems -- Extension to the Book "125 Problems in Text Algorithms"
arxiv.org·2d
🔬Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·20h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Stress Monitoring in Healthcare: An Ensemble Machine Learning Framework Using Wearable Sensor Data
arxiv.org·9h
🎮Verification Games
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·9h
🎮Verification Games
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·9h
🎮Verification Games
Graph Learning
arxiv.org·2d
➡️Category Theory
Degradation-Agnostic Statistical Facial Feature Transformation for Blind Face Restoration in Adverse Weather Conditions
arxiv.org·9h
🏹Effect Systems
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·9h
✓Automated Theorem Proving
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·9h
✓Automated Theorem Proving