💻 CS

computer science, automata, theory, computation

HMQ: Principal Type Inference Under a Prefix
microsoft.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
LLMs and Algorithmic Trading
architect.co·11h·
Discuss: Hacker News
🐫Embedded OCaml
Navigating AI in translation: Why human expertise still matters
gulf-times.com·17h·
Discuss: Hacker News
🤖Program Synthesis
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Being a Script
raphaelbastide.com·1d·
Discuss: Hacker News
🛡️seL4
The Analog Art
joostrekveld.net·9h·
Discuss: Hacker News
💾Retro Computing
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Identification of Violin Reduction via Contour Lines Classification
arxiv.org·22h
➡️Category Theory
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·22h
🔍Formal Verification
Kubrick, the Video Processing Agent
github.com·1d·
Discuss: Hacker News
💾Retro Computing
MARBLE: A Multi-Agent Rule-Based LLM Reasoning Engine for Accident Severity Prediction
arxiv.org·3d
✓Automated Theorem Proving
Forex Trading Robot Using Fuzzy Logic
arxiv.org·1d
✓Automated Theorem Proving
Generalization in Reinforcement Learning for Radio Access Networks
arxiv.org·1d
🐫OCaml
Working with AI: Measuring the Occupational Implications of Generative AI
arxiv.org·22h
🏹Effect Systems
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·22h
🐫OCaml
Reinforcement Learning with Action Chunking
arxiv.org·22h
🎮Verification Games
Hybrid Diffusion Policies with Projective Geometric Algebra for Efficient Robot Manipulation Learning
arxiv.org·2d
🏹Effect Systems
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml