Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
🔓Decompilation
Flag this post
Vibe coding needs a spec, too
stackoverflow.blog·12h
🔌Interface Evolution
Flag this post
A DRL-Empowered Multi-Level Jamming Approach for Secure Semantic Communication
arxiv.org·16h
🔒Language-based security
Flag this post
LibreSSL 4.1.2 and 4.2.1 released with reliability and portability fixes
discoverbsd.com·11h
🔌Operating system internals
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
📊Static Analysis
Flag this post
Notes from RIPE 91
blog.apnic.net·21h
🌐DNS over QUIC
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Rust 1.91.0 released
lwn.net·23h
🦀Embedded Rust
Flag this post
Building Up And Sanding Down
endler.dev·20h
🔩Systems Programming
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Eclipse ADL: Standardized Language for Design and Control of AI Agents
heise.de·2d
⚙️TLA+
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
Olsrt – OverLab Streams Runtime
🔒Linear Types
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·16h
🧮Algebraic Archives
Flag this post
Reflection for Aggregates (2020)
🔒Type Safety
Flag this post
Loading...Loading more...