🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Show HN: Historian – bridge from InfluxDB 1.x/2.x to 3.0 with Parquet and DuckDB
cduser.com·9h·
Discuss: Hacker News
💾Retro Computing
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
👁️System Observability
Why – Decompression Through Inquiry
williamolivers.substack.com·4d·
Discuss: Substack
📝Term Rewriting
Protobuffers Are Wrong
reasonablypolymorphic.com·6d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
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
Possibilities for Low-Fidelity Mind Uploading
zaira.blog·1d·
Discuss: Hacker News
📚Automata Learning
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·23h·
Discuss: Hacker News
📦Unikernel Systems
Hilbert space: treating functions as vectors
eli.thegreenplace.net·5d·
Discuss: Lobsters, Hacker News
➡️Category Theory
From Modular to Utility-First tailwind migration
auslake.vercel.app·2d·
Discuss: r/programming
🔄Reproducible Builds
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·3d
➡️Category Theory
ADHDeepNet From Raw EEG to Diagnosis: Improving ADHD Diagnosis through Temporal-Spatial Processing, Adaptive Attention Mechanisms, and Explainability in Raw EEG...
arxiv.org·21h
📚Automata Learning
LD-ViCE: Latent Diffusion Model for Video Counterfactual Explanations
arxiv.org·21h
📚Automata Learning
A Comprehensive Review of Reinforcement Learning for Autonomous Driving in the CARLA Simulator
arxiv.org·21h
🔄Finite State Machines
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·10h·
Discuss: r/homelab
🏠HomeLab
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·21h
🛡️seL4
RAPID Quantum Detection and Demodulation of Covert Communications: Breaking the Noise Limit with Solid-State Spin Sensors
arxiv.org·21h
🩹Self-Healing Systems
Calibrating indifference - a small AI safety idea
lesswrong.com·2d
🧪Property-Based Testing