🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

Stop Using CPU Limits on Kubernetes (2022)
home.robusta.dev·11h·
Discuss: Lobsters
⎈Kubernetes
A Novel Technique for SQL Injection in PDO's Prepared Statements
slcyber.io·22h·
Discuss: Lobsters, Hacker News, Hacker News
🔤DSLs
Stumbling upon
thehistoryoftheweb.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·3d·
Discuss: Hacker News
🏹Effect Systems
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Stress testing Biome's noFloatingPromises lint rule
vercel.com·5d·
Discuss: Hacker News
💎Refinement Types
I'm Using Perplexity
fldr.zip·1d·
Discuss: Hacker News
📦Unikernel Systems
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·2d·
Discuss: Hacker News
🧩Separation Logic
The LLM models the user, and then it models itself
animassteward.substack.com·1d·
Discuss: Substack
📚Automata Learning
Splitting a long string in lines efficiently
lemire.me·2d·
Discuss: Hacker News
🐫Embedded OCaml
Cargo-remark: view LLVM optimization remarks for Rust
github.com·2d·
Discuss: Hacker News
🛡️seL4
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·1d·
Discuss: Substack
🤖Program Synthesis
Logic Theorist
en.wikipedia.org·4d·
Discuss: Hacker News
🧠Automated Reasoning
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·2d
🧩Parser Combinators
Vibe Coding vs. Spec-Driven Development
redmonk.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Stop chatting Constrained VS Unconstrained LLM use cases
medium.com·1d·
Discuss: Hacker News
💎Refinement Types
Quantum-Enhanced Multi-Task Learning with Learnable Weighting for Pharmacokinetic and Toxicity Prediction
arxiv.org·2d
🧠Automated Reasoning
AraHalluEval: A Fine-grained Hallucination Evaluation Framework for Arabic LLMs
arxiv.org·2d
🧩Parser Combinators
VaccineRAG: Boosting Multimodal Large Language Models' Immunity to Harmful RAG Samples
arxiv.org·2d
🧩Parser Combinators
New cybersecurity rules land for Defense Department contractors
theregister.com·10h·
Discuss: Hacker News
🛡️seL4