Refinement Types, SMT Integration, Program Verification, Type Safety

Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·41m·
Discuss: DEV
🦀Rust Verification
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·1d·
Discuss: Hacker News
🔒Type Safety
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·5h
📞Session Types
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·4h
🦀Rust Borrowing
Flag this post
Arranging the PIC Parterre
rastamouse.me·8h
🔗Static Linking
Flag this post
My First Rust Project
binwang.me·17h
🦀Rust Macros
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·11h
🎵Audio ML
Flag this post
Convert any GitHub repo to coding puzzles
github.com·2h·
Discuss: Hacker News
Proof Automation
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
Format Verification
Flag this post
ACM CCS 2025 Spotlight: How Bad Was The Falcon Bug of 2019?
esat.kuleuven.be·13h
🔐Cryptographic Archaeology
Flag this post
Infrastructure Should Be Inferred, Not Written (and LLMs Are Why)
ivan.codes·1d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post
Accelerating IC Thermal Simulation Data Generation via Block Krylov and Operator Action
arxiv.org·17h
🔧Hardware Verification
Flag this post
Object Pascal Is More Than Meets the Eye: Exploring the Power and Versatility
blog.rosseaux.net·3h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Signature schemes you've never heard about – Kobi Gurkan
kobi.leaflet.pub·12h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·1d
🔄Reproducible Builds
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·4h·
Discuss: r/programming
📜Binary Philology
Flag this post
Beyond ‘Shift Left’: Improving AI Training Data
thenewstack.io·8h
📏Code Metrics
Flag this post
Recent Rust Changes
ncameron.org·1d·
🦀Rust Borrowing
Flag this post
Automated Validation of Distributed Systems Through Hyper-Scoring and Continuous Code Synthesis
dev.to·2h·
Discuss: DEV
🔍Concolic Testing
Flag this post
Modern Perfect Hashing
blog.sesse.net·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post