Skip to content

Instantly share code, notes, and snippets.

Avatar
🤮
puke nuke

Victor Borja vic

🤮
puke nuke
View GitHub Profile
@progfolio
progfolio / Emacs-as-an-Org-capture-server.org
Last active Jul 27, 2021
Emacs as an Org capture server
View Emacs-as-an-Org-capture-server.org

Emacs as an Org capture server

The Concept

The general idea is to run an Emacs server as a daemon which clients can quickly connect to via a bash script. The client executes org-capture and the frame closes upon finalizing or aborting the capture.

Running a server daemon

The first step is to get an Emacs daemon running as a server with your name of choice. For this example, I’m going to use “capture” as the server name.

@davoclavo
davoclavo / software-engineer.md
Last active Sep 13, 2021
Software Engineer role at Deal Engine
View software-engineer.md

Software Engineer role at Deal Engine

At Deal Engine we strive on automating and optimizing processes in an industry that has been stagnant for several decades - the travel industry.

  • Have you ever wondered what happens to your ticket when you miss a flight? And did you know you can always get some money back?
  • Have you ever been able to change a flight without having to spend hours calling customer support?
  • Have you ever experienced the price volatility where sometimes you end up paying a lot more than the person sitting next to you on a plane?

We solve these and more pains, working with leisure and corporate travelers, along with airlines and service providers. We are on a mission to become the most efficient and transparent backbone of the travel industry.

@dacr
dacr / index.md
Last active Oct 23, 2021
David's programming examples knowledge base / published by https://github.com/dacr/code-examples-manager #cafacafe-cafecafe/20ce30385590a02f19175a4dcf14023c7e0ecf18
View index.md

David's programming examples knowledge base

akka

  • akka-actors-hello-world.sc : Simple akka hello world example
  • akka-http-client-json-stream.sc : Fully asynchronous http client call with json streamed response using akka-http will work in all cases, even with chunked responses !
  • akka-http-client-json-with-proxy.sc : Fully asynchronous http client call with json response using akka-http will work in all cases, even with chunked responses, this example add automatic http proxy support.
  • akka-http-client-json.sc : Fully asynchronous http client call with json response using akka-http will work in all cases, even with chunked responses !
  • [akk
View interpreter.hs
main :: IO ()
main = runM
. runRedis
. runFTP
. runHTTP
. runEncryption
. redisOuput @Stat mkRedisKey
. postOutput @Record mkApiCall
. batch @Record 500
. ftpFileProvider
@mollymerp
mollymerp / sshfs-gcp-instance-osx.md
Last active Jul 1, 2021
How to mount a GCP compute instance filesystem locally using `sshfs` on MacOS
View sshfs-gcp-instance-osx.md

How to mount a GCP compute instance filesystem locally using sshfs

This guide assumes that:

  • you already have an instance set up on GCP that you want to mount locally
  • the GCP CLI (gcloud) is installed on your local machine
  • you have authenticated locally to your google account gcloud auth login
  1. make sure your gcloud config is correct for the instance you're trying to access:
@gvolpe
gvolpe / Bracketing.scala
Last active Apr 18, 2018
IO, Bracket and Cancelation
View Bracketing.scala
import java.io.FileOutputStream
import cats.effect.ExitCase.{Canceled, Completed, Error}
import cats.effect._
import cats.syntax.apply._
import cats.syntax.functor._
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.duration._
@okkero
okkero / Main.idr
Created Dec 17, 2017
Idris-JVM Spigot plugin
View Main.idr
module Main
import IdrisJvm.FFI
import IdrisJvm.IO
import Java.Lang
%default total
record Java a ret where
View principled-meta-programming.md

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

@davidwalter0
davidwalter0 / stash-pop-recover
Created Aug 10, 2017
Undoing accidental git stash pop
View stash-pop-recover
# https://stackoverflow.com/questions/6543519/undoing-accidental-git-stash-pop
# https://stackoverflow.com/questions/89332/how-to-recover-a-dropped-stash-in-git
accepted
If you have only just popped it and the terminal is still open, you will still have the hash value printed by git stash pop on screen (thanks, Dolda).
Otherwise, you can find it using this for Linux and Unix:
git fsck --no-reflog | awk '/dangling commit/ {print $3}'
and for Windows:
@surhudm
surhudm / GNUPG_agent_forwarding.md
Last active May 9, 2021
GNUPG agent forwarding
View GNUPG_agent_forwarding.md

Forward GNUPG agent with the following steps:

On the remote insecure machine:

Run gpg once to create the directory structure.

gpg --list-keys

On the local machine: