Refinement Types, SMT Integration, Program Verification, Type Safety

Understanding Type-Based Alias Analysis in C and C++
kdab.com·13h·
Discuss: Hacker News
🔒Type Safety
Flag this post
Goodbye Guesswork: Code Generation That Knows What It Doesn't Know
dev.to·20h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·6h·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·21h
🌐NetworkProtocols
Flag this post
A bestiary of single-file programming language implementations
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·10h·
🧪Binary Fuzzing
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·1d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Modern Perfect Hashing
blog.sesse.net·12h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Recent Rust Changes
ncameron.org·5h·
🦀Rust Borrowing
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·16h
SIMD Vectorization
Flag this post
Concrete types yield better maintainability
alejo.ch·2d·
🔗Dependently Typed
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·12h
🔄Reproducible Builds
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·5h·
Discuss: Hacker News
🐚Shell Monads
Flag this post
PMPP-Eval Journey
blog.sinatras.dev·17h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·12h
👁️System Observability
Flag this post
Pepsi, when they don't have coke
bitecode.dev·1d
🌀Brotli Internals
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
λLambda Encodings
Flag this post
Status Week 43
blogs.gnome.org·4h
❄️Nix Flakes
Flag this post
The Art of Dependency Updates: Balancing Stability, Features, and Security
wawand.co·11h·
Discuss: Hacker News
📦Package Managers
Flag this post