🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Surveillance or Support? Policing Harmful Sexual Behaviour in Schools
onlinelibrary.wiley.com·3h·
Discuss: Hacker News
🏹Effect Systems
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
🧩Separation Logic
SQLite's Use of Tcl
tcl-lang.org·1d·
Discuss: Hacker News
🔤DSLs
Social dynamics of Bluetooth speakers (2022)
dynomight.net·2d·
Discuss: Hacker News
🍎Apple
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·8h·
Discuss: Hacker News
⚙️PL Implementation
Magnetic Bubble Memory
smbaker.com·1d·
Discuss: Hacker News
💾Retro Computing
OSS Licensing Sucks
jackson.dev·1d·
Discuss: Hacker News
🖥Self-Hosting
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·11h·
Discuss: Hacker News, r/programming
❄️Nixified Development
Reverse Engineering a (Toy) Fire Engine
hackaday.com·1d
🩹Self-Healing Systems
Parallelization Strategies in Neural Networks
nwktimes.blogspot.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·4d·
Discuss: Hacker News
🔬Unikernels
Ecologically Valid Benchmarking and Adaptive Attention: Scalable Marine Bioacoustic Monitoring
arxiv.org·18h
🩹Self-Healing Systems
We built an Artificial Brain that sleeps, dreams, and forms memories
github.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Python package to easily generate and edit images with Nano Banana
github.com·6h·
Discuss: Hacker News
📺Vintage Apple
Mentalic Net: Development of RAG-based Conversational AI and Evaluation Framework for Mental Health Support
arxiv.org·18h
🧩Parser Combinators
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·18h
🩹Self-Healing Systems
Evaluating Multiple Instance Learning Strategies for Automated Sebocyte Droplet Counting
arxiv.org·18h
🧩Parser Combinators
🔗 I've got your shovelware right here
justin.searls.co·3h·
Discuss: Substack, Hacker News
👁️System Observability
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·18h
🧩Parser Combinators
SafeProtein: Red-Teaming Framework and Benchmark for Protein Foundation Models
arxiv.org·4d
🧠Automated Reasoning