@cdepillabout

Programmer interested in functional programming, Haskell, DevOps, and Nix/NixOS.

functor.tokyo
Joined July 2013
  • Tweets921
  • Following194
  • Followers535
29Media
The year is 2040. In Nixpkgs, all calls to mkDerivation have been replaced with mkAIDerivation. Reproducibility is lost. There is no hope for humankind. github.com/cdepillabout/mkAI…

GitHub - cdepillabout/mkAIDerivation: Generate a Nix derivation on the fly using an LLM

Generate a Nix derivation on the fly using an LLM. Contribute to cdepillabout/mkAIDerivation development by creating an account on GitHub.

github.com
8
199
Join us in Chicago for an evening of functional programming discussions and networking! Enjoy beer, pizza, and lightning talks while connecting with fellow enthusiasts. Jan 16th, 2025 @ 6:00 PM / 325 W. Huron Hosted by Bitnomial, a leader in US digital asset futures
2
2
5
181
I wrote a little tool in #haskell that takes an input shell script, and turns it into a series of shell scripts that only consist of shebang lines: github.com/cdepillabout/sheb…

GitHub - cdepillabout/shebanger: Convert a shell script into a series of shebang lines

Convert a shell script into a series of shebang lines - cdepillabout/shebanger

github.com
2
3
154
I also came up with a programming puzzle / challenge related to this: github.com/cdepillabout/sheb…

The Challenge · Issue #1 · cdepillabout/shebanger

shebanger has one big problem (other than being completely useless...): shebanger outputs a series of scripts that look like the following: $ cat ./test.sh.shebanged.3 #!/usr/bin/env -S shebanger e...

github.com
1
79
cdepillabout retweeted
James Brock@jamesdbrock14 Nov 2024
Replying to @cdepillabout
That is very cute and clever and if I ever saw someone do that in real code I would get offended
1
2
94
Sometimes in older GHCs in #Haskell you want an easy way to write multi-line strings, without having to manually concatenate, or pull in a QuasiQuoter. Here's a method you probably shouldn't use:
2
7
229
I put together an example repo of how to build a fully statically-linked x86-64 Linux #Haskell binary using #Nix. Everything is documented, so you should hopefully be able to use this to get started with static linking: github.com/cdepillabout/exam…

GitHub - cdepillabout/example-static-haskell-nix: Example showing how to build a statically-linked...

Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release - cdepillabout/example-static-haskell-nix

github.com
2
3
1
16
1,070
It also has an example GitHub Action that shows how to upload a statically-linked binary as an asset whenever you create a new GitHub Release.
1
95
I wrote a short blog post introducing Cloudy: functor.tokyo/blog/2024-09-2…

functor.tokyo -- Cloudy: CLI tool for easily spinning up compute instances in the cloud

Run one-off compute instances in the cloud with an interface similar to Docker

functor.tokyo
cdepillabout@cdepillabout24 Sep 2024
I recently released a new CLI tool `cloudy`. It makes it easy to spin up temporary compute instances on various cloud providers. I'm trying to make it feel similar to `docker run` or `vagrant`, but for running one-off applications in the cloud: github.com/cdepillabout/clou…

GitHub - cdepillabout/cloudy: CLI tool to easily spin up and control compute instances in various...

CLI tool to easily spin up and control compute instances in various cloud environments - cdepillabout/cloudy

github.com
1
3
285
I recently released a new CLI tool `cloudy`. It makes it easy to spin up temporary compute instances on various cloud providers. I'm trying to make it feel similar to `docker run` or `vagrant`, but for running one-off applications in the cloud: github.com/cdepillabout/clou…

GitHub - cdepillabout/cloudy: CLI tool to easily spin up and control compute instances in various...

CLI tool to easily spin up and control compute instances in various cloud environments - cdepillabout/cloudy

github.com
1
1
1
5
614
I put my weeder-in-nix learnings together in this repository so now you can use weeder from Nix too: github.com/NorfairKing/weede…

GitHub - NorfairKing/weeder-nix: A nix library for calling weeder on your Haskell codebase

A nix library for calling weeder on your Haskell codebase - NorfairKing/weeder-nix

github.com
1
1
6
485
I wrote a blog post about FODONUTs: fixed-output derivations for operating network-utilizing tests in #Nix. Helpful if you want to run internet-accessing tests in a Nix derivation, and you don't want to worry about constantly updating a hash for a FOD. functor.tokyo/blog/2023-07-2…

functor.tokyo -- FODONUTs: Fixed-Output Derivations for Operating Network-Utilizing Tests

Using fixed-output derivations to run tests that access the network

functor.tokyo
1
171
I still think about this tweet quite often. On one hand, it paints #Nix in too good of a light. It can be pretty difficult to get some pieces of software building with Nix. Especially for beginners. On the other hand, Nix does feel like a super power once you get used to it.
Mitchell Hashimoto
@mitchellh23 Apr 2023
I'm actively trying to work through my Nix God complex. It's been so long that when I see non-Nix users complain about issues getting software to run, I'm truly confused. It's like someone looking at a river lamenting about having to ford it while I'm riding a bicycle on a bridge
1
19
1,581
I just released a #Nix library called `evil-nix`. It lets you download arbitrary files from the internet in Nix without requiring a hash of the file. It even works in Nix's `pure-eval` mode. github.com/cdepillabout/evil…

GitHub - cdepillabout/evil-nix: A Nix library to download files from the internet without requiring...

A Nix library to download files from the internet without requiring a hash - cdepillabout/evil-nix

github.com
3
20
1,253
I wrote a blog post introducing some of the ideas behind the `bound` #Haskell library, as well as trying to come up with a helpful free-monad-like structure. functor.tokyo/blog/2023-05-1…

functor.tokyo -- Bound by a Free-Monad-like Structure

A take on the bound Haskell library that uses a free-monad-like structure

functor.tokyo
1
5
21
1,670
I finally decided what language to use this year for #AdventOfCode. #Haskell's type system! Here's a solution to day 1, part 1 as a type. I get the actual answer by causing a type error and having GHC show me what is has computed while trying to compile.
2
5
64
4,568
Here's my actual code. The full solution: github.com/cdepillabout/adve… A Template Haskell function that embeds the input file as a type-level string: github.com/cdepillabout/adve…
1
5
471
This uses GHC-9.2.4. It uses singletons to generate some of the type-level functions. The biggest problem I had with this solution was that compiling used over 60G of RAM. I had to temporarily enable a huge swap space just to get the final answer.
1
8
369
I started a blog post series showing examples of building various #Haskell projects with #Nix (#nixos) using `stacklock2nix`. functor.tokyo/blog/2022-12-1…

functor.tokyo -- stacklock2nix

Easily use Nix to build a Haskell package with a stack.yaml.lock file

functor.tokyo
3
5
28
more replies
The third and final post is about building Pandoc using stacklock2nix. This time I've setup Pandoc to be fully statically-linked. So you could take the Nix-built Pandoc binary and use it on any other Linux distro. functor.tokyo/blog/2022-12-2…

functor.tokyo -- Building Pandoc with stacklock2nix

Use stacklock2nix to build a fully statically-linked Pandoc

functor.tokyo
1
162
I've also released a v1.0.0 of stacklock2nix: github.com/cdepillabout/stac…

Release v1.0.0 · cdepillabout/stacklock2nix

This is the 1.0 release of stacklock2nix. I've tested stacklock2nix on building a few real-world Haskell projects, and it has worked well. stacklock2nix is ready to be widely used. There have...

github.com
1
1
218
Load more