#MetaProgramming

Use `define_method` to simplify repetitive methods in your classes! ⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely! #rubyonrails #metaprogramming

Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI

We really loved this series of tutorials on #metaprogramming in #LeanLang by Heather Macbeth. It's a great intro to a complex topic for novice users of #LeanProver! Pt 1: Pt 2: Pt 3:

Introduction to #metaprogramming in C++ #programming #C++

Here is some satisfying #fsharp code😌recursive fragment substitution on #GraphQL query ASTs #metaprogramming #making_progress

Aleksander Rainko's talk from @ScalaIO_FR is now live on YouTube! 🙌 Scared of #metaprogramming in Scala 3? Time to face your fears. Explore the compile-time arsenal that #Scala3 provides without resorting to "dirty" tricks... Want to see how it's done? ⬇️

x86 formal verification is coming! The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc. And we believe it scales! A joint research project with @zellic_io 🧵👇

The goal of this project was to explore scalable formal verification, where cost per proof goes down significantly the more programs we verify. We found our tooling could verify a second binary with new control flow, with only a few hundred extra lines of additional proof code.

A substantial amount of proof work is also handled by generic automation and metaprogramming. As an example, we compiled `memcmp` using both clang and gcc, giving two different machine code representations of the same function. The same written proof for this specific program works for both versions, with automated machinery allowing the same Lean metaprogram invocation to generate respective proof terms.

#Metaprogramming is a #programming technique in which programs have the ability to treat other programs as their data. It means that a program can be designed to read, generate, analyze or transform other programs, and even modify itself while running.

I needed to help my students visualize struct layout and padding bytes, so I created a C++20 pretty printer (see picture). Available below, use/improve it as you like! #cpp #cpp20 #metaprogramming #reflection

In #Elixir we use #metaprogramming features regularly. Sometimes without even knowing it! In this talk, @lebugcatcher covers some of the low level constructs in Elixir, which will help you to better understand how metaprogramming works in #Elixir.

The perfect geek book lecture for a sunny Sunday #ruby #metaprogramming

Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data. #LeanProver #Metaprogramming #VSCode #PropertyTesting

CppNow 2022 SESSION ANNOUNCEMENT: Circle Metaprogramming: Better Features Make Better Libraries by @seanbax Session Information: Register now at #metaprogramming #templates #tuple #variant #cpp

Helpers for writing #DynamicParameters, if you're into that sort of thing. #PowerShell #MetaProgramming

My first post on TopTal! - Metaprogramming: Writing in Ruby with... Ruby | Toptal #Ruby #MetaProgramming

Many #metaprogramming tasks require high-fidelity source code transformations. SSTs fit the bill. Interesting article by @rodinaarssen and @tvdstorm of @CWInl Link to article 👉

It is time for #Elixirlang! Meet Adi Iyengar, our next #CodeBEAMv speaker whose talk will cover some of the low level constructs in Elixir, which will help you better understand how #metaprogramming actually works in Elixir. Get your Standard Ticket:

I'll be standing on this stage in a few hours, talking about #TypeScript #MetaProgramming. My feelings now: 🤯😱🥵🥶😵‍💫 @ngconf #ngconf @GeoEdgePro

Upcoming online instructor-lead live classes: Nov 9: #Functional Programming in #Java Nov 10: #Metaprogramming in #JavaScript Nov 19: #Reactive Programming in #Java Nov 20: Creating #React Applications Nov 21: Applying #Design #Patterns ...and more...

#scala #metaprogramming #typeclasses because, of course, I forgot

I haven't blogged in a while, but this needed to be written: