🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
👁️System Observability
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·2d·
Discuss: Hacker News
🩹Self-Healing Systems
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·2d·
Discuss: Hacker News
🔤DSLs
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Experimenting with local LLMs on macOS
blog.6nok.org·3d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Hilbert space: treating functions as vectors
eli.thegreenplace.net·5d·
Discuss: Lobsters, Hacker News
➡️Category Theory
The Case for An AI Safety Political Party in the US
lesswrong.com·1d
🩹Self-Healing Systems
Confusion over Backplane and RAID Controller Requirements
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Sparse Sensor Allocation for Inverse Problems of Detecting Sparse Leaking Emission Sources
arxiv.org·3d
🧩Separation Logic
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·4d
➡️Category Theory
Context Engineering for Trustworthiness: Rescorla Wagner Steering Under Mixed and Inappropriate Contexts
arxiv.org·4d
📚Automata Learning
ADHDeepNet From Raw EEG to Diagnosis: Improving ADHD Diagnosis through Temporal-Spatial Processing, Adaptive Attention Mechanisms, and Explainability in Raw EEG...
arxiv.org·1d
📚Automata Learning
LD-ViCE: Latent Diffusion Model for Video Counterfactual Explanations
arxiv.org·1d
📚Automata Learning
A Comprehensive Review of Reinforcement Learning for Autonomous Driving in the CARLA Simulator
arxiv.org·1d
🔄Finite State Machines
Show HN: Ion, a Rust/Tokio powered JavaScript runtime for embedders
github.com·4d·
Discuss: Hacker News, r/rust
⚙️PL Implementation
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·1d
🛡️seL4
RAPID Quantum Detection and Demodulation of Covert Communications: Breaking the Noise Limit with Solid-State Spin Sensors
arxiv.org·1d
🩹Self-Healing Systems
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·3d
🩹Self-Healing Systems
Embedding Empathy into Visual Analytics: A Framework for Person-Centred Dementia Care
arxiv.org·1d
🔄Finite State Machines
The Astronaut and the Planet: Part I
lesswrong.com·13h
🩹Self-Healing Systems