Victor Borja vic

Announcing gen's pure-Nix module system

Draft — publishes after the current v1-trust roadmap lands. The module system, trust artifacts, and fleet measurements are real and green today; den's next-generation internals are the foundation-laid-for, not done-yet, and are phrased that way below. Numbers grounded in gen/BENCHMARKS.md, gen/VALIDATION.md, and gen/ci/README.md as of 2026-07-05.

The short version

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.

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

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.

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.

David's programming examples knowledge base

Generated by code-examples-manager release 2.4.9-SNAPSHOT
670 published examples

akka-pekko

akka-actors-hello-world.sc : Simple akka hello world example
akka-capitalize-and-print.sc : dump capitalized string coming from stdin using streams
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](https:/

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

make sure your gcloud config is correct for the instance you're trying to access:

	# 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:

	-- 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)

	main :: IO ()
	main = runM
	. runRedis
	. runFTP
	. runHTTP
	. runEncryption
	. redisOuput @Stat mkRedisKey
	. postOutput @Record mkApiCall
	. batch @Record 500
	. ftpFileProvider