Calling Lean Functions As Python Functions
Introducing a Python library for seamless interoperability with the Lean theorem prover, allowing Lean functions to be called directly from Python code.
Introducing a Python library for seamless interoperability with the Lean theorem prover, allowing Lean functions to be called directly from Python code.
Explores advanced C++ techniques for iterating through std::tuple, focusing on std::apply and generic approaches.
An exploration of reflectively accessing built-in ColdFusion functions, showing limitations and differences between Adobe ColdFusion and Lucee CFML.
A developer's personal reflection on creating a Ruby gem inspired by another, the technical challenges faced, and the emotional journey of releasing imperfect work.
A comprehensive guide to understanding, using, and creating TypeScript decorators to improve code structure, reusability, and maintainability.
Explores the complexities of adding metaprogramming to the Gleam language, discussing design considerations and potential impacts.
Explains how to use Zig's comptime feature to safely work with subsets of a tagged union, using a real-world example from a terminal project.
Explains how to use Zig's comptime feature to conditionally disable code for platform-specific builds, debugging, and configuration.
Explores using IRTools.jl for robust automatic differentiation in Julia, focusing on metaprogramming to generate forward and backward passes.
Explores automating automatic differentiation in Julia using metaprogramming and expression-based approaches to generate forward and backward passes.
A technical guide on using Zig's metaprogramming features, specifically reflection, to parse CSS into typed structs and pretty-print the results.
Part 2 of a series on building data-driven, composable widgets, covering live reload, automated registration, and JSON-based configuration.
Explores advanced use cases for Sourcery, a Swift metaprogramming tool, with practical examples like finding classes to make final and custom linting.
A beginner-friendly tutorial explaining what macros are in Julia, how they differ from functions, and guidance on when to use them.
Explains Swift's callAsFunction() feature, allowing objects to be called like functions, with examples and use cases.
A guide explaining Python decorators, their syntax, and how they modify function behavior to keep code clean and DRY.
A personal recap of attending the FrontInPOA 2016 tech conference, covering talks on front-end development, web apps, and tech careers.
A critique of common Python decorator patterns that break function signatures and introspection, with advice on how to fix them.
Explains the Cleanroom Pattern in Ruby for safely evaluating DSLs, addressing security risks of instance_eval and scope issues.
Explains how to call private functions in Clojure using var syntax, with strong warnings about why this should be avoided.