Skip to content

Instantly share code, notes, and snippets.

@Szpadel
Szpadel / meltdown-check.sh
Last active January 15, 2018 15:53
Script for checking system status against Meltdown issue
#!/usr/bin/env bash
CR="\e[0m"
CBAD="\e[41m"
CWRN="\e[33m"
COK="\e[32m"
CINF="\e[34m"
isPcidPresent() {
grep -q pcid /proc/cpuinfo

Principled Meta Programming for Scala

This note outlines a principled way to meta-programming in Scala. It tries to combine the best ideas from LMS and Scala macros in a minimalistic design.

  • LMS: Types matter. Inputs, outputs and transformations should all be statically typed.

  • Macros: Quotations are ultimately more easy to deal with than implicit-based type-lifting

  • LMS: Some of the most interesting and powerful applications of meta-programming

@smarr
smarr / truffle-material.md
Last active March 16, 2023 14:06
Truffle: Languages and Material