Authors

Subscribe:.rss.atom.json.md

Publishes 1 feed

• dhilst

  204 posts · theirs

Lately

• Equational reasoning meets Induction (part 1)

  dhilst · 2026-06-14

• Specifying Software with Caelum: Why Formal Specs Matter Even When Lives Aren't at Stake

  dhilst · 2026-05-06

• Perlchecker: Symbolic Verification for Perl via SMT Solving

  dhilst · 2026-05-03

• Caching RPM repositories with Nginx

  dhilst · 2025-12-22

• dlopen will bite you

  dhilst · 2025-09-21

• Building Agent Chains and Self-Improving Loops with LangChain and Ollama

  dhilst · 2025-06-29

• Understanding Type Erasure: Solving Generic Programming Challenges in C++

  dhilst · 2025-06-08

• Leveraging C++ Phantom Types for Enhanced Type Safety

  dhilst · 2025-06-05

• Fuzz testing in Rust

  dhilst · 2024-09-14

• Why use Rust? A simple Regex parser example

  dhilst · 2024-08-27

• How I write React components as state machines

  dhilst · 2024-02-12

• Abstracting recursion over AST

  dhilst · 2024-01-22

Everything on this page was read from markup Daniel Hilst Selli published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON