💻 CS

computer science, automata, theory, computation

Arduino Nano R4
store-usa.arduino.cc·22h·
Discuss: Hacker News
🐫Embedded OCaml
Building a BLE-Enabled GGreg20_V3 GeigerCounter – Part1:ESP32 ESPHome BLE Server
iot-devices.com.ua·4h·
Discuss: Hacker News
🏠HomeLab
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·1d·
Discuss: Hacker News
🔄Reproducible Builds
Rails Engine Assets: Making Your Gem Work with Sprockets and Propshaft
avohq.io·4h·
Discuss: Hacker News
🧱Immutable Infrastructure
An Introduction to GPU Profiling and Optimization
bitsand.cloud·5d·
Discuss: Hacker News, r/programming
👁️System Observability
🧠 I built a centralized memory system for Cursor agents using Supabase + OpenAI
reddit.com·2d·
Discuss: r/programming
📦Unikernel Systems
An accessible web is a web for everyone
atipik.ch·2d·
Discuss: Hacker News
🔤DSLs
Scalable Climate Data Analysis: Balancing Petascale Fidelity and Computational Cost
arxiv.org·3d
🧱Immutable Infrastructure
FedMultiEmo: Real-Time Emotion Recognition via Multimodal Federated Learning
arxiv.org·3d
🔬Unikernels
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·3d
🎮Verification Games
Strategyproofness and Monotone Allocation of Auction in Social Networks
arxiv.org·3d
✓Automated Theorem Proving
A Conservative and Positivity-Preserving Discontinuous Galerkin Method for the Population Balance Equation
arxiv.org·2d
🐫OCaml
Using Generative Artificial Intelligence Creatively in the Classroom and Research: Examples and Lessons Learned
arxiv.org·2d
🎮Verification Games
Personalized Socially Assistive Robots With End-to-End Speech-Language Models For Well-Being Support
arxiv.org·3d
🐫OCaml
How to Supercharge "Vibe Coding" with CodeRabbit and OpenAI Codex
medium.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Deep Micro Solvers for Rough-Wall Stokes Flow in a Heterogeneous Multiscale Method
arxiv.org·4d
🐫OCaml
DFQ-ViT: Data-Free Quantization for Vision Transformers without Fine-tuning
arxiv.org·3d
🐫Embedded OCaml
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.org·2d
🏹Effect Systems
Simulating multiple human perspectives in socio-ecological systems using large language models
arxiv.org·1d
🐫OCaml
Does Language Matter for Early Detection of Parkinson's Disease from Speech?
arxiv.org·1d
🔤DSLs