#Metaprogramming

✨ RAILS PRO TIPS ✨ Use define_method to simplify repetitive methods in your classes ✨💫 ⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely! #rubyonrails #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

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

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

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++

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? ⬇️

Use meta programming to augment any object with a method that is called when the object doesn’t have that method by using the JavaScript Proxy object #javascript #metaprogramming #proxy #es6

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

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.

Using Modern C++ to Eliminate Virtual Functions - by @jalapenothong - CppCon 2022 #Cpp20 #Cppfunctions #Metaprogramming #cpp #cppcon

Using Modern C++ to Eliminate Virtual Functions - Jonathan Gopel - CppCon 2022 #Cpp20 #Cppfunctions #Metaprogramming #cpp #cppcon

PHP Traits might be one of the most underrated metaprogramming features in modern languages. What if Traits had proper composition contracts? They could become something much more powerful than just code reuse. #PHP #ProgrammingLanguages #Metaprogramming

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

What I've learn this week: Check the number of functions you will generate before trying to compile your code... Earlier this week I tried generating 25 billion function signatures/calls The compiler didn't like that at all #CPP #Metaprogramming

In Snap! you can make a block that takes a data structure and turns it into a block that makes the data structure. Find out more about #metaprogramming at #SnapCon22 in just 3 weeks:

Abstract Base Classes in Python #decorators #metaclasses #metaprogramming #notebook #oop #python #python2 #python3 via @thedigicat

Under 1k Certify in NLP here you're seeing something called a metaprogram your client/mate/friend will talk to you in one of two ways (not affiliate linked) they will either back away from it, (and it's painful) or they walk toward it (and it's pleasure) #metaprograms #counseling #dating #love #lawofattraction

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

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