CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·9h
🔧PLT
Lobsters Interview with Hwayne
lobste.rs·2d·
Discuss: Lobsters
📐formal specification
AltSchool Of Engineering Tinyuka’24 Month 6 Week 1
dev.to·12h·
Discuss: DEV
🔧PLT
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·3d
🔧PLT
Building a .so sqlite extension in go
til.scapegoat.dev·4h
🐫Ocaml
Elegant Middleware Architecture Implementation(0619)
dev.to·9h·
Discuss: DEV
📐formal specification
Understanding not just Clojure's comp function by re-implementing it
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔧PLT
Predicted impact of LLM use on developer ecosystems
shape-of-code.com·4h
🔧PLT
RedisFlow - Enterprise Feature Store for Real-Time ML
dev.to·5h·
Discuss: DEV
📐formal specification
Building a typed fetch in TypeScript with conditional types and infer
piccalil.li·3d
🐫Ocaml
We can still sleep peacefully — or so we thought. Steganography via internal activations is already possible in small language models — a potential first step t...
lesswrong.com·1d
🔧PLT
I built a tiny tool to convert Pydantic models to TypeScript in seconds
reddit.com·7h·
Discuss: r/webdev
🦀Rust
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·1d·
Discuss: Hacker News
📐formal specification
My First Module - Huffman Encoding
github.com·8h·
Discuss: r/Zig
🔧PLT
Automated Isotope Fractionation Analysis via Hyperdimensional Semantic Mapping
dev.to·7h·
Discuss: DEV
🔧PLT
Anonymous Functions in Python
valuetown.bearblog.dev·5d
🔧PLT
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🔧PLT
An Encryption Algorithm
dev.to·4h·
Discuss: DEV
🔧PLT
Try the Goddamned Thing Out
sundaystopwatch.eu·6h·
Discuss: Hacker News
📐formal specification
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·1d·
Discuss: r/golang
🐫Ocaml