💻 CS

computer science, automata, theory, computation

Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·9h·
Discuss: Hacker News
🔄Finite State Machines
Galois field instructions on 2021 CPUs
corsix.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
The XINU Page
xinu.cs.purdue.edu·23h·
Discuss: Hacker News
📦Unikernel Systems
Apple Trace Cache
realworldtech.com·5h·
Discuss: Hacker News
👁️System Observability
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Realbasic (2000)
joelonsoftware.com·18h·
Discuss: Hacker News
💾Retro Computing
guile lab notebook: on the move!
wingolog.org·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·11h
💾Retro Computing
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·18h
✓Automated Theorem Proving
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·18h
✓Automated Theorem Proving
ST-GRIT: Spatio-Temporal Graph Transformer For Internal Ice Layer Thickness Prediction
arxiv.org·18h
🐫OCaml
Distributed Systems for Fun and Profit
book.mixu.net·4d·
Discuss: Hacker News
📦Unikernel Systems
Short-Term Gains, Long-Term Gaps: The Impact of GenAI and Search Technologies on Retention
arxiv.org·18h
🎮Verification Games
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.org·18h
🌐NetworkProtocols
I don't think LLM's are making us stupider
news.ycombinator.com·6h·
Discuss: Hacker News
🔬Static Analysis
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·2d
➡️Category Theory
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·18h
🔄Finite State Machines
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Identification of Violin Reduction via Contour Lines Classification
arxiv.org·18h
➡️Category Theory