#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: youtube.com/watch?v=cKvgMj… Pt 2: youtube.com/watch?v=5er4yL… Pt 3: youtube.com/watch?v=TJ8Tqv…

leanprover's tweet image. 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: youtube.com/watch?v=cKvgMj…
Pt 2: youtube.com/watch?v=5er4yL…
Pt 3: youtube.com/watch?v=TJ8Tqv…

#c #metaprogramming An attempt at metaprogramming in C using `_Generic` and `typeof`. I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun. gist.github.com/ttldtor/759be9…

ttldtor's tweet image. #c #metaprogramming
An attempt at metaprogramming in C using `_Generic` and `typeof`.
I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun.

gist.github.com/ttldtor/759be9…
ttldtor's tweet image. #c #metaprogramming
An attempt at metaprogramming in C using `_Generic` and `typeof`.
I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun.

gist.github.com/ttldtor/759be9…
ttldtor's tweet image. #c #metaprogramming
An attempt at metaprogramming in C using `_Generic` and `typeof`.
I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun.

gist.github.com/ttldtor/759be9…

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

tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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
tomas_mikula's tweet image. 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

Building a quad tree for #MuckyVision sprite collisions got me thinking on pros/cons of #metaprogramming (minimal example below). Pros: succinct code, tree builds at compile time. Cons: Bloated executable, some runtime delay (copying tree to heap?). Maybe 'can'≠'should'?🤔

MuckyTaters's tweet image. Building a quad tree for #MuckyVision sprite collisions got me thinking on pros/cons of #metaprogramming (minimal example below). Pros: succinct code, tree builds at compile time. Cons: Bloated executable, some runtime delay (copying tree to heap?). Maybe 'can'≠'should'?🤔

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

leanprover's tweet image. 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

Programs that write programs? Welcome to the fascinating world of metaprogramming. #FutureOfCode #Metaprogramming #CodeNerd

_codebeans's tweet image. Programs that write programs? 
Welcome to the fascinating world of metaprogramming. 

#FutureOfCode #Metaprogramming #CodeNerd

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

RubyCademy's tweet image. Use `define_method` to simplify repetitive methods in your classes!

⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely!

#rubyonrails #metaprogramming

Came out with a C++ metaprogramming technique where a macro differentiates between types and enum values. Sample output: "C" is a type "E::v1" is a numeric expression Works primarily with non-enum classes. Fascinating hack! #cplusplus #metaprogramming

galtza's tweet image. Came out with a C++ metaprogramming technique where a macro differentiates between types and enum values. Sample output:

"C" is a type
"E::v1" is a numeric expression

Works primarily with non-enum classes. Fascinating hack! #cplusplus #metaprogramming

While working on some #Scala3 #Metaprogramming, the harsh reality hit: IDEA fell short, unable to assist me further, sometimes even with basic completions. 😐 I've worked with @scalameta before, but it saved my life this time. Great job, guys! 👍

filemon_279's tweet image. While working on some #Scala3 #Metaprogramming, the harsh reality hit: IDEA fell short, unable to assist me further, sometimes even with basic completions. 😐 
I've worked with @scalameta before, but it saved my life this time. Great job, guys! 👍

Only a few days left until the Scala 3 #Metaprogramming workshop with @jdegoes! ⏰ Explore quoting, splicing, type-level metadata, and support for type class derivation. Implement your own Scala 3 macros with confidence and secure your spot before it's too late! 💪 ➡️…

zivergetech's tweet image. Only a few days left until the Scala 3 #Metaprogramming workshop with @jdegoes! ⏰ Explore quoting, splicing, type-level metadata, and support for type class derivation. Implement your own Scala 3 macros with confidence and secure your spot before it's too late! 💪 

➡️…

✨ 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

RubyCademy's tweet image. ✨ 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

Samuel Palacios - Meta-programming en Java: Cómo escribir código que genera código, en la JConf Guatemala 2025 #MetaProgramming #Java #JConf #JConfGt2025

guatejug's tweet image. Samuel Palacios - Meta-programming en Java: Cómo escribir código que genera código, en la JConf Guatemala 2025

#MetaProgramming #Java #JConf #JConfGt2025
guatejug's tweet image. Samuel Palacios - Meta-programming en Java: Cómo escribir código que genera código, en la JConf Guatemala 2025

#MetaProgramming #Java #JConf #JConfGt2025

Our new J.UCS issue is out today!🎉 lib.jucs.org/issue/5178/ It features a bibliometric retrospective on 30 years of J.UCS. Plus, 5 more articles exploring #convolutionalneuralnetworks, #NLP, #metaprogramming, #anomalyprevention and #GeneticAlgorithms.🌍✨Photo: Christian Trummer

jucsnews's tweet image. Our new J.UCS issue is out today!🎉 lib.jucs.org/issue/5178/ It features a bibliometric retrospective on 30 years of J.UCS. Plus, 5 more articles exploring #convolutionalneuralnetworks, #NLP, #metaprogramming, #anomalyprevention and #GeneticAlgorithms.🌍✨Photo: Christian Trummer

An interesting example of Rails using metaprogramming in view rendering! 💚 #rubyonrails #metaprogramming

RubyCademy's tweet image. An interesting example of Rails using metaprogramming in view rendering! 💚

#rubyonrails #metaprogramming

Day 08: `Generics` é outra funcionalidade mto interessante em #GOlang, introduzida na v1.18. Mto similar a #template #metaprogramming em #CPP, ela permite a inferência de funcs em tempo de compilação. Melhorando a performance e a readability do código. #codechallenge #bolhadev

Guilherme_rme's tweet image. Day 08: `Generics` é outra funcionalidade mto interessante em #GOlang, introduzida na v1.18.

Mto similar a #template #metaprogramming em #CPP, ela permite a inferência de funcs em tempo de compilação. Melhorando a performance e a readability do código.

#codechallenge #bolhadev

Sneak Peek: Local Llama 3.1 (70 B) model reviewing the DevoxxGenie project using the DevoxxGenie plugin 🤯 + Window context now visible for @Ollama models🔥 #MetaProgramming

DevoxxGenie's tweet image. Sneak Peek: Local Llama 3.1 (70 B) model reviewing the DevoxxGenie project using the DevoxxGenie plugin 🤯 
+ Window context now visible for @Ollama models🔥 
#MetaProgramming
DevoxxGenie's tweet image. Sneak Peek: Local Llama 3.1 (70 B) model reviewing the DevoxxGenie project using the DevoxxGenie plugin 🤯 
+ Window context now visible for @Ollama models🔥 
#MetaProgramming

The newest release of my C++ metaprogramming library mlib is out: github.com/robertshepherd…! Check the newest features out! Check out the new compile time string features (string_parse.hpp)!🎉 #cpp #metaprogramming #cplusplus #c #programming #github

rshepherdcpp's tweet image. The newest release of my C++ metaprogramming library mlib is out: github.com/robertshepherd…! Check the newest features out! Check out the new compile time string features (string_parse.hpp)!🎉 #cpp #metaprogramming #cplusplus #c #programming #github
rshepherdcpp's tweet image. The newest release of my C++ metaprogramming library mlib is out: github.com/robertshepherd…! Check the newest features out! Check out the new compile time string features (string_parse.hpp)!🎉 #cpp #metaprogramming #cplusplus #c #programming #github

未找到 "#metaprogramming" 的結果
未找到 "#metaprogramming" 的結果

Our new J.UCS issue is out today!🎉 lib.jucs.org/issue/5178/ It features a bibliometric retrospective on 30 years of J.UCS. Plus, 5 more articles exploring #convolutionalneuralnetworks, #NLP, #metaprogramming, #anomalyprevention and #GeneticAlgorithms.🌍✨Photo: Christian Trummer

jucsnews's tweet image. Our new J.UCS issue is out today!🎉 lib.jucs.org/issue/5178/ It features a bibliometric retrospective on 30 years of J.UCS. Plus, 5 more articles exploring #convolutionalneuralnetworks, #NLP, #metaprogramming, #anomalyprevention and #GeneticAlgorithms.🌍✨Photo: Christian Trummer

Loading...

Something went wrong.


Something went wrong.


United States Trends