Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2d·
Discuss: Hacker News
🧮Algebraic Datatypes
Intro to Java FFM - Foreign Function & Memory Access API (Project Panama)
roray.dev·16h·
Discuss: Hacker News
⚡gRPC
Show HN: SwiftAI – open-source library to easily build LLM features on iOS/macOS
github.com·10h·
Discuss: Hacker News
🎙️Whisper
Building Real Enterprise AI Agents With Apache Flink
thenewstack.io·6h
🌊Streaming Systems
Song recommendations with F# free monads
blog.ploeh.dk·3d
🔗Functional Compilers
Guessing Game: Haskell Style
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News
👑Dependent Haskell
Explaining the Need for Strongly Happens Before in C++
nekrozqliphort.github.io·21h·
Discuss: Hacker News, r/cpp
✨Effect Handlers
Python 3.14 Preview: Lazy Annotations
realpython.com·1d
λLambda Formalization
Deep dive into Mojo object initialization
connorgray.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Real-World Java • Victor Grazi, Jeanne Boyarsky & Barry Burd • GOTO 2025
youtube.com·12h
💻Programming languages
Secure by Design: A Shift-Left Approach with Testcontainers, Docker Scout, and Hardened Images
docker.com·11h
📦Container Security
strongly typed?
dotat.at·22h·
Discuss: Hacker News
🔗Dependently Typed
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Agentic Metaflow
outerbounds.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Optimising for maintainability – Gleam in production at Strand
gleam.run·8h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
RFC 8594: The Sunset HTTP Header Field
datatracker.ietf.org·4h·
Discuss: Hacker News
📋Protocol Buffers
The Lobster Programming Language
strlen.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
Why Relying on LLMs for Code Can Be a Security Nightmare
blog.himanshuanand.com·1d·
Discuss: Hacker News
🛡️WASM Security
SOLID Principles In 2025 In Practice With Python And UML Examples
dev.to·4h·
Discuss: DEV
🐚Shell Calculus
Typeclassopedia
wiki.haskell.org·3d·
Discuss: Hacker News
🧬Functional Programming