Tag
This article describes the design and implementation of a type-safe role-based authorization system on top of the servant-auth library in Haskell, enabling distinct handlers for each role with compile-time checks.
This article discusses a fundamental memory safety challenge involving tagged unions where a pointer to one variant is used after the union is overwritten with a different variant, leading to type confusion. The author also argues that buffer overflows are the most exploitable memory error and could have been mitigated with better array syntax.
SQLite's strict tables enforce rigid typing to prevent common datatype mistakes. The article explains how to use them and their pros and cons.
The article argues for using unsigned integers more often in programming, refuting common arguments against them.
Amber is a modern, type-safe programming language that compiles to Bash, Ksh, or Zsh, enabling safer and more robust shell scripting.
Gleam language creator Louie deeply explains the core concepts of OTP, and how Gleam works with OTP in a type-safe manner, achieving fully compatible inter-process communication and supervisor building blocks with Erlang/Elixir.
This paper presents an empirical catalog of 63 confirmed LLM-agent budget overrun incidents from 21 orchestration frameworks, organized into a failure taxonomy, and introduces a Rust crate using affine type ownership to prevent token/cost budget violations at compile time rather than runtime.
Introduces five major reasons to learn the Gleam programming language (cross-platform, type safety, concise design, functional paradigm, active ecosystem) along with practical introductory resources, from an official website tour to Exercism.
The Fil-C optimized calling convention ensures memory safety for C programs even under adversarial misuse, while maintaining efficiency by omitting safety checks in the common case. It explains the generic and register-passing optimizations that handle type violations via panics or well-defined behavior.
Mitchell Hashimoto demonstrates how to use Zig's comptime to create subset types of tagged unions, enabling compile-time safety without exhaustive case handling.