💻 CS

computer science, automata, theory, computation

Python heapq.nlargest vs list.sort
ddaa.net·4h·
Discuss: r/programming
🏹Effect Systems
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The XINU Page
xinu.cs.purdue.edu·14h·
Discuss: Hacker News
📦Unikernel Systems
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·10h
✓Automated Theorem Proving
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·10h
✓Automated Theorem Proving
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·10h
🎮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
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·10h
✓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·21h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Stress Monitoring in Healthcare: An Ensemble Machine Learning Framework Using Wearable Sensor Data
arxiv.org·10h
🎮Verification Games
KeyKnowledgeRAG (K^2RAG): An Enhanced RAG method for improved LLM question-answering capabilities
arxiv.org·10h
🎮Verification Games
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·10h
🎮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·10h
🏹Effect Systems
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·10h
✓Automated Theorem Proving
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·10h
✓Automated Theorem Proving