Skip to content

Instantly share code, notes, and snippets.

View rflaperuta's full-sized avatar

Rodrigo Falcetta Laperuta rflaperuta

View GitHub Profile
@rflaperuta
rflaperuta / asm.s
Created January 4, 2018 02:07 — forked from dougallj/asm.s
x86-64 Speculative Execution Harness
global _time_load
global _cache_flush
global _run_attempt
extern _bools
extern _values
extern _pointers
section .text

Rich Already Answered That!

A list of commonly asked questions, design decisions, reasons why Clojure is the way it is as they were answered directly by Rich (even when from many years ago, those answers are pretty much valid today!). Feel free to point friends and colleagues here next time they ask (again). Answers are pasted verbatim (I've made small adjustments for readibility, but never changed a sentence) from mailing lists, articles, chats.

How to use:

  • The link below in the summary jumps at the answer on this page.
  • The link on the question itself points back at the original post.

Summary

@rflaperuta
rflaperuta / Dockerfile
Created May 2, 2018 23:16 — forked from renzok/Dockerfile
docker: mapping host uid and gid to user inisde container
FROM debian:jessie
ENV USER=boatswain USER_ID=1000 USER_GID=1000
# now creating user
RUN groupadd --gid "${USER_GID}" "${USER}" && \
useradd \
--uid ${USER_ID} \
--gid ${USER_GID} \
--create-home \
@rflaperuta
rflaperuta / Dockerfile
Last active January 31, 2019 01:16
Elixir/Phoenix Dockerfile Alpine Multi-stage (w/ distillery)
FROM elixir:1.7.4-alpine AS builder
ARG MIX_ENV=prod
ENV MIX_ENV=${BUILD_ENV:-prod}
WORKDIR /opt/app
RUN apk add --update --upgrade --no-cache nodejs npm yarn git build-base \
&& mix local.hex --force && mix local.rebar --force
@rflaperuta
rflaperuta / deriv_parse.rs
Created February 2, 2019 22:02
deriv_parse
use deriv_parse::*;
#[derive(DeriveParse)]
struct Record {
name: String
}
struct Data {
name: String
}
@rflaperuta
rflaperuta / twittermute.txt
Created January 24, 2020 22:41 — forked from IanColdwater/twittermute.txt
Here are some terms to mute on Twitter to clean your timeline up a bit.
Mute these words in your settings here: https://twitter.com/settings/muted_keywords
ActivityTweet
generic_activity_highlights
generic_activity_momentsbreaking
RankedOrganicTweet
suggest_activity
suggest_activity_feed
suggest_activity_highlights
suggest_activity_tweet