SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·10h
💧Liquid Types
A safer C++ pointer class
techblog.rosemanlabs.com·6h·
Discuss: Hacker News
🔒Type Safety
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Dependent types I › Universes, or types of types
jonmsterling.com·1d·
Discuss: Hacker News
🔤Type Theory
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·1d
🌳Archive Merkle Trees
Introducing TypeKro
yehudacohen.substack.com·17h·
Discuss: Substack
🏠Homelab Orchestration
🪄 Scopes, Closures, and Decorators in Python: A Deep Dive Adventure
dev.to·1h·
Discuss: DEV
⬆️Lambda Lifting
Simple Smalltalk Testing: With Patterns (1994)
web.archive.org·2h·
Discuss: Lobsters
🧪Property-Based Testing
Inside Zig's New Writer
joegm.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·12h
💻Local LLMs
Stable, Mutable References for Ante
antelang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·30m
🔧Binary Parsers
Show HN: SwiftAI – open-source library to easily build LLM features on iOS/macOS
github.com·3h·
Discuss: Hacker News
🎙️Whisper
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·9h
🎯NTLM Attacks
Guessing Game: Haskell Style
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News
👑Dependent Haskell
Intro to Java FFM - Foreign Function & Memory Access API (Project Panama)
roray.dev·9h·
Discuss: Hacker News
⚡gRPC
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Deep dive into Mojo object initialization
connorgray.com·23h·
Discuss: Hacker News
🦀Rust Borrowing
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·13h·
Discuss: Hacker News, r/cpp
✨Effect Handlers
Python 3.14 Preview: Lazy Annotations
realpython.com·1d
λLambda Formalization