🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

FFmpeg – The Ultimate Guide
img.ly·12h·
Discuss: Hacker News
🍎XNU Internals
The Chips of Theseus
mordenstar.com·14h·
Discuss: Hacker News
🩹Self-Healing Systems
Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
👁️System Observability
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
User Engagement Bots used to kickstart conversations on Discourse forums
meta.discourse.org·16h·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·1d·
Discuss: Hacker News
🩹Self-Healing Systems
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·1d·
Discuss: Hacker News
🔤DSLs
The Vector Bottleneck: Limitations of Embedding-Based Retrieval
shaped.ai·3d·
Discuss: Hacker News
🧩Parser Combinators
Possibilities for Low-Fidelity Mind Uploading
zaira.blog·20h·
Discuss: Hacker News
📚Automata Learning
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·17h·
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
LD-ViCE: Latent Diffusion Model for Video Counterfactual Explanations
arxiv.org·15h
📚Automata Learning
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·15h
🛡️seL4
When Is MCP Actually Worth It?
thenewstack.io·1d
🖥️Self-hosted Infrastructure
RAPID Quantum Detection and Demodulation of Covert Communications: Breaking the Noise Limit with Solid-State Spin Sensors
arxiv.org·15h
🩹Self-Healing Systems
Calibrating indifference - a small AI safety idea
lesswrong.com·2d
🧪Property-Based Testing
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·2d
🩹Self-Healing Systems
Embedding Empathy into Visual Analytics: A Framework for Person-Centred Dementia Care
arxiv.org·15h
🔄Finite State Machines