#metaprogramming

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:

✨ 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

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

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

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

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

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:

JS ile Meta Programlama Eğitim İçeriği #javascript #metaprogramming

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

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

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.

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

It can't be that hard to write a type inference engine for JAI, right? I mean, I know the type system is intentionally simple, and the inference is fairly eager, since the compiler propagates types up the syntax tree, from leaves to roots. i.e. it's unidirectional type inference.

I think it's very exciting, since the language is designed to compile fast, type inference should go *really* fast, without any combinatorial explosion by design. That's what I'm working on right now, and it'll eventually power my editor. I'll share more details on this soon.

The only things I'm not sure how to handle inference for are #placeholder and #insert. But those aren't ordinary code, and I think there must be a way to work around them. I don't want to query the metaprogram for those, though, that'd be nowhere near fast enough for my purposes.

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

Metaprogramming: An Introduction to JavaScript(ES6) Proxy #javascript #es6 #metaprogramming #development

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:

| Finding the index of a type in a pack or type list | #cplusplus #metaprogramming #cpp17 | No recursion, no extra structs. | std::is_same_v can be replaced with builtins on GCC & Clang. | @cpp_rocks @meetingcpp

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

The last few chapters of "Rediscovering Javascript" on #metaprogramming are really well written, thanks for that @venkat_s. On top, resuming my reminiscences on #AOP after my past as #Flex #developer with Swiz made me smile. My life is a recursion! #js

#MetaProgramming In #Python By Ramnathan R @ZentropyTech #HyderabadPythonUserGroup @hydPython #Meetup @EPAM_India @pyconfhyd @gdgc_hyd @gdg_hyd

Deep Dive Into #MetaProgramming In #Python @hydPython

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