ViewTube

... Previous video on new: https://www.youtube.com/watch?v=-zsV0_QrfTw Another great metaprogramming video: ...

This video is about Metaprogramming The Human Biocomputer http://www.instagram.com/theworldistold ...

Moebius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself Junyoung Jang, ...

There are a wide array of methods for writing code generators. We advocate for a point in the design space, which we call ...

Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their ...

Hi, this is @ShadajL, a third-year undergraduate student at UC Berkeley advised by Professor Koushik Sen. Our GPCE'20 paper ...

Cheap code generation and abstraction increases noise and fragility. First principles matter more than ever. Join the ...

... Hungary) Abstract: The aim of staged compilation is to enable metaprogramming in a way such that we have guarantees about ...

Quantum computing is so new it needs a flexible language for programming - Robert Smith of Rigetti Quantum Computing ...

Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer ...

RubyConf 2016 - A Look at Hooks by Craig Buchek Ruby has several methods that are invoked implicitly under certain ...

A quick look at the Zig programming language. Topics: - Zig aims to replace C; - Explicit type system rules; - Compile-time code ...

You know that feeling when you're looking at the same situation as someone else… but it's like you're living in two different ...

Its all about asking questions to objects about its origin in the runtime.

We demonstrate two use cases of copy-and-patch: a compiler for a high-level C-like language intended for metaprogramming and ...

This video is a demo of Metalama, a meta-programming framework designed to enhance the development process in C# ...

C++ is a great language to know; however, as time goes on more features are added to the language. These extra features make ...

Verified Symbolic Execution with Kripke Specification Monads (and No Meta-programming) (Video, ICFP 2022) Steven Keuchel, ...

This paper develops a systematic method for extending a polymorphic type system of ML with dynamic typing, and implements the ...

Learn how to design great software in 7 steps: https://arjan.codes/designguide. In this video, I'll test if you can use Meta Quest 3 for ...