Skip to content

Instantly share code, notes, and snippets.

View vic's full-sized avatar
🐊
hoy amanecí dichosamente herido de muerte natural

Victor Borja vic

🐊
hoy amanecí dichosamente herido de muerte natural
View GitHub Profile
@sini
sini / 2026-05-14-pipeline-reference.md
Created May 14, 2026 21:13
Den FX Pipeline Reference — handlers, effects, scope management, routing, dedup, policy dispatch

Den FX Pipeline Reference

Den's FX pipeline is the core resolution engine that transforms declarative aspect definitions into NixOS/nix-darwin/home-manager module trees. It operates as an algebraic effects trampoline -- a loop that interprets effect values, dispatches them to handlers, and threads state through each step. Every state change is an effect; pure data transforms stay as functions.

This document covers the pipeline lifecycle from entity entry through final output assembly.

1. Pipeline Overview

The pipeline resolves a single entity (flake, host, home, user) by walking its aspect tree. Each aspect is compiled according to its shape, gated for dedup and constraints, classified into output buckets, emitted as class modules, and then its children (includes, policies) are recursively resolved. The result is a set of NixOS-style module lists keyed by class name.

@sini
sini / nixos-module-graph.nix
Last active May 15, 2026 18:11
nixos-module-graph: Visualize non-nixpkgs import tree of any NixOS configuration with flake input labeling
# nixos-module-graph.nix — Visualize the non-nixpkgs import tree of a NixOS configuration
#
# Reads evalModules.graph (available on every nixosSystem result since nixpkgs 24.05+),
# resolves nix store paths back to flake input names, filters out nixpkgs base modules,
# and renders the remaining user-defined + third-party module import tree as indented text.
#
# Usage:
# nix eval --impure --raw --expr '(import /tmp/nixos-module-graph.nix { flakePath = toString /home/sini/Documents/repos/den-configs/slashfiles; host = "evo-x2"; })'
#
# Or edit the defaults below and run:
@koji
koji / cli_coding-tools.md
Last active February 27, 2026 00:19
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 March 18, 2026 19:09
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 February 3, 2026 19:52
David's programming examples knowledge base / published by https://github.com/dacr/code-examples-manager #fecafeca-feca-feca-feca-fecafecafeca/8190d90bea59408fd7da77ad14c120cd28c92f71

David's programming examples knowledge base

akka-pekko

@pchiusano
pchiusano / monads.u
Last active November 27, 2025 19:42
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._