💻 CS

computer science, automata, theory, computation

A cellular entity retaining only its replicative core
biorxiv.org·17h·
Discuss: Hacker News
🔬Unikernels
Python heapq.nlargest vs list.sort
ddaa.net·2d·
Discuss: r/programming
🏹Effect Systems
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·2d·
Discuss: Hacker News
🔄Finite State Machines
The XINU Page
xinu.cs.purdue.edu·3d·
Discuss: Hacker News
📦Unikernel Systems
Apple Trace Cache
realworldtech.com·2d·
Discuss: Lobsters, Hacker News
👁️System Observability
Galois field instructions on 2021 CPUs
corsix.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
AI will replace programmers—just not yet, because it still generates very extremely inefficient code.
nullonerror.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
SFrame-based stack unwinding for the kernel
lwn.net·2d·
Discuss: Hacker News
👁️System Observability
guile lab notebook: on the move!
wingolog.org·5d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Distributed Systems for Fun and Profit
book.mixu.net·6d·
Discuss: Hacker News
📦Unikernel Systems
Forex Trading Robot Using Fuzzy Logic
arxiv.org·4d
✓Automated Theorem Proving
Push or Light: Nudging Standing to Break Prolonged Sitting
arxiv.org·5h
🏹Effect Systems
Degradation-Agnostic Statistical Facial Feature Transformation for Blind Face Restoration in Adverse Weather Conditions
arxiv.org·3d
🏹Effect Systems
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·3d
🐫OCaml
Working with AI: Measuring the Occupational Implications of Generative AI
arxiv.org·3d
🏹Effect Systems
Reinforcement Learning with Action Chunking
arxiv.org·3d
🎮Verification Games
Hybrid Diffusion Policies with Projective Geometric Algebra for Efficient Robot Manipulation Learning
arxiv.org·5d
🏹Effect Systems
Identification of Violin Reduction via Contour Lines Classification
arxiv.org·3d
➡️Category Theory
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·3d
✓Automated Theorem Proving
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·6d
🐫OCaml