💻 CS

computer science, automata, theory, computation

Understanding Energy Trading: Physical vs. Financial Markets
a115.co.uk·1d·
Discuss: Hacker News
👁️System Observability
Robotics Levels of Autonomy
semianalysis.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Hijacking multi-agent systems in your PajaMAS
blog.trailofbits.com·3d·
Discuss: Hacker News
🛡️seL4
ETH Surges Past $3K as Glassnode Flags Rare Flip in Futures Volume over Bitcoin
coindesk.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Paradise Lost
alexandermigdal.com·3d·
Discuss: Hacker News
➡️Category Theory
A Dive into Open Chat Protocols
wiki.alopex.li·3d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Thoughts on an open source deployment platform?
zeitwork.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Building an AI-native multi-model UI with SurrealDB
surrealdb.com·5d·
Discuss: Hacker News
🐫OCaml
Parity of Zero
en.wikipedia.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Progress update for Mixreel (3D and video-to-video)
mixreel.ai·3d·
Discuss: Hacker News
💾Retro Computing
Personal Software in the Age of LLM's
hexdev.blog·5d·
Discuss: Hacker News
🐫Embedded OCaml
Apple set to acquire yet another campus in the Bay Area
9to5mac.com·4d
🍎Apple
Adaptive Bayesian Data-Driven Design of Reliable Solder Joints for Micro-electronic Devices
arxiv.org·5d
🐫Embedded OCaml
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·3d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Rant - Homelab Creep and Increasing Complexity
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Multi-Amateur Contrastive Decoding for Text Generation
arxiv.org·4d
🐫OCaml
Studying Disinformation Narratives on Social Media with LLMs and Semantic Similarity
arxiv.org·5d
🌐NetworkProtocols
Multilingual Self-Taught Faithfulness Evaluators
arxiv.org·5d
🐫OCaml
Ultra-Low-Latency Edge Inference for Distributed Sensing
arxiv.org·5d
👁️System Observability
GitHub - wshobson/agents: A collection of production-ready subagents for Claude Code
github.com·5d·
Discuss: Hacker News
🤖Program Synthesis