Skip to content

Instantly share code, notes, and snippets.

View vic's full-sized avatar
🐢
turtles all the way up

Victor Borja vic

🐢
turtles all the way up
View GitHub Profile
@koji
koji / cli_coding-tools.md
Last active August 11, 2025 16:46
cli coding tools
Tool Main Features & Models Supported Usage Context / Notes CLI Native? Link
Claude Code Agentic coding, autonomous edits, deep context, Anthropic models Terminal-based, enterprise privacy, NPM install Yes Claude Code
Gemini CLI Google Gemini models, free tier, IDE integration, web search Term
@progfolio
progfolio / Emacs-as-an-Org-capture-server.org
Last active April 3, 2024 16:02
Emacs as an Org capture server

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 May 30, 2022 17:06
Software Engineer role at Deal Engine

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! We work alongside airlines (e.g. LATAM airlines) and online travel agencies (e.g. Despegar) and operate in 18 countries (across 3 continents), managing over $4 billion dollars in flight tickets. We are on a mission to become the most efficient and transparent backbone of the travel industry.

@dacr
dacr / index.md
Last active May 11, 2025 11:26
David's programming examples knowledge base / published by https://github.com/dacr/code-examples-manager #fecafeca-feca-feca-feca-fecafecafeca/6e82bf2949cc61c919535ce35a58ebc93721c33

David's programming examples knowledge base

akka-pekko

@pchiusano
pchiusano / monads.u
Last active April 27, 2024 08:18
Converting between algebraic effects and monads
-- This gist shows how we can use abilities to provide nicer syntax for any monad.
-- We can view abilities as "just" providing nicer syntax for working with the
-- free monad.
ability Monadic f where
eval : f a -> a
-- Here's a monad, encoded as a first-class value with
-- two polymorphic functions, `pure` and `bind`
type Monad f = Monad (forall a . a -> f a) (forall a b . f a -> (a -> f b) -> f b)
@etorreborre
etorreborre / interpreter.hs
Created April 28, 2019 08:51
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 August 4, 2025 08:07
How to mount a GCP compute instance filesystem locally using `sshfs` on MacOS

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 April 18, 2018 05:34
IO, Bracket and Cancelation
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._
@edolstra
edolstra / nix-lang.md
Last active August 16, 2025 00:03
Nix language changes

This document contains some ideas for additions to the Nix language.

Motivation

The Nix package manager, Nixpkgs and NixOS currently have several problems:

  • Poor discoverability of package options. Package functions have function arguments like enableFoo, but there is no way for the Nix UI to discover them, let alone to provide programmatic ways to
@okkero
okkero / Main.idr
Created December 17, 2017 14:57
Idris-JVM Spigot plugin
module Main
import IdrisJvm.FFI
import IdrisJvm.IO
import Java.Lang
%default total
record Java a ret where