Defeating Return Type Polymorphism
philipphagenlocher.de·10h·
Discuss: Hacker News
🧬Functional Programming
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·1d·
Discuss: DEV
💧Liquid Types
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·2d
🔗Parser Combinators
Replacing the Type Checker for the Swift Compiler
forums.swift.org·5h·
Discuss: Hacker News
💧Liquid Types
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·17h
🧪Binary Fuzzing
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·1d
Format Validation
Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
Static Bundle Object: Modernizing Static Linking
medium.com·1d·
Discuss: Hacker News
🔗Static Linking
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·19h
📺VT100
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·1d
🔓Decompilation
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·22h·
Discuss: Hacker News
🧬Functional Programming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·19h·
Discuss: Hacker News
🎯Performance Proofs
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·1d·
Discuss: DEV
🧩WASM Components
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·5d
🔗Functional Compilers
C++ Reflection and Qt MOC
wiki.qt.io·9h·
Discuss: Hacker News
🧩WASM Modules
Making performant Python bindings to compiled code
kylebarron.dev·1d·
Discuss: Hacker News
🦀Rust Macros
Preventing Invalid Database Access at Compile Time
svix.com·1d·
🦀Rust Borrowing
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·9h·
Discuss: DEV
🏠Homelab Orchestration