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.
Introduces meta-quotes in eĿlipsis, a new preprocessor feature to protect tokens from macro expansion, addressing C macro collision issues.
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 solving dependency edge cases in Common Lisp's Metaobject Protocol, detailing a custom metaclass for monitoring slot access.
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.
Explains how to implement compile-time perfect hashing for string matching in the Zig programming language.
Explores Swift's new @dynamicMemberLookup feature in Swift 4.2, discussing its use, potential pitfalls, and how to make dynamic calls explicit.