nix-effects with Mika Bohinen
Pre-roll transcript:
Before you is an episode of the Full Time Nix podcast
For silence skipping and other useful features consider using a podcast app
---
---
Just published an episode about nix-effects: A pure Nix toolkit for effectful programs, typed validation, verified boundaries, and description-backed DSLs. If you were trying to understand what this means then we’re on the same boat. during the episode I have asked the author of nix-effects, Mika Bohinen, all of the dumbest questions and, who knows, maybe even some good ones. To me it seems that nix-effects takes programming in Nix language to the next level and I’m looking forward for a good enough excuse to try it. It is already in use by several projects in the ecosystem. Listen in.
nix-effects
dendritic
Eff
Trampolining Nix with genericClosure - Guides - NixOS Discourse
Cycle.js
ReactiveX
rxRust
3 type error handlers
interpreter example
agda
Lean 4
Lie-Størmer Center
Den
Ned
dendritic
Eff
Trampolining Nix with genericClosure - Guides - NixOS Discourse
Cycle.js
ReactiveX
rxRust
3 type error handlers
interpreter example
agda
Lean 4
Lie-Størmer Center
Den
Ned
---
Nixcademy ad transcript:
Nixcademy ad transcript:
Statistically speaking, Nix is a novel technology.
As such, adoption comes at an immediate cost of productivity.
Team members who know Nix find themselves preoccupied providing support
and the emergence of anti-patterns adds technical debt.
What's worse; morale is affected.
But, with training, these costs can be all but elimitated.
Founded by my friend and mentor Jacek Galowicz,
Nixcademy have brought hundreds of team members up to speed with Nix.
It's what they do.
So, liberate your Nix experts,
prevent technical debt
and get on top of Nix and back to work better and sooner.
Visit nixcademy.com.
Jacek tells me that most Nixcademy clients returned their investment in training in under three months.
They also provide free educational content that I recommend and a newsletter that I subscribe to.
nixcademy.com.
Mentoring ad transcript:
Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?
I'm sure you can figure it out. But, you could pay the dime to cut the time.
Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.
For 1-on-1 mentoring sessions with me visit mightyi.am.
As such, adoption comes at an immediate cost of productivity.
Team members who know Nix find themselves preoccupied providing support
and the emergence of anti-patterns adds technical debt.
What's worse; morale is affected.
But, with training, these costs can be all but elimitated.
Founded by my friend and mentor Jacek Galowicz,
Nixcademy have brought hundreds of team members up to speed with Nix.
It's what they do.
So, liberate your Nix experts,
prevent technical debt
and get on top of Nix and back to work better and sooner.
Visit nixcademy.com.
Jacek tells me that most Nixcademy clients returned their investment in training in under three months.
They also provide free educational content that I recommend and a newsletter that I subscribe to.
nixcademy.com.
Mentoring ad transcript:
Hey, you. Do you need help with Nix, NixOS, home-manager, flakes, flake-parts, dendritic, dev-shells, packaging, the Nix language, Nixpkgs, the module system, software development or maybe Rust?
I'm sure you can figure it out. But, you could pay the dime to cut the time.
Pay me! I'll teach you and guide you through whatever shenanigans you've gotten yourself into.
For 1-on-1 mentoring sessions with me visit mightyi.am.
Post-roll transcript:
For past and future episodes search “Full Time Nix” on a podcast app or visit fulltimenix.com
I am pleased to be of service to the Nix ecosystem,
but that doesn't pay the bills.
So please sponsor me. Even a little bit helps.
but that doesn't pay the bills.
So please sponsor me. Even a little bit helps.
