corpus.blog
41554 blogs · [ { "id": "01a08792-eb66-7253-91a6-03629b1e0948", "title": "Dependently typed Under", "url": "https://juuso.dev/blogPosts/dependently-typed-under/dependently-typed-under.html", "published_at": "2026-07-30T12:45:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d95255696ab", "title": "Patching nixpkgs in a flake", "url": "https://juuso.dev/blogPosts/patching-nixpkgs-flake/patching-nixpkgs-in-a-flake.html", "published_at": "2026-02-13T18:48:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d9525e47e4f", "title": "Multi-token FIDO2 LUKS", "url": "https://juuso.dev/blogPosts/fido2-luks/multi-token-fido2-luks.html", "published_at": "2025-06-08T23:09:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952659248b", "title": "Combinatory Tetris", "url": "https://juuso.dev/blogPosts/higher-order-filter-bqn-uiua/combinatory-tetris.html", "published_at": "2024-07-31T10:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952663fc76", "title": "Nix as a Static Site Generator", "url": "https://juuso.dev/blogPosts/nix-as-a-static-site-generator/nix-as-a-static-site-generator.html", "published_at": "2023-09-10T17:31:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d9526a34ff6", "title": "Modular Neovim with Nix", "url": "https://juuso.dev/blogPosts/modular-neovim/modular-neovim-with-nix.html", "published_at": "2023-09-03T20:19:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952719b093", "title": "Barbell: Template System in BQN", "url": "https://juuso.dev/blogPosts/barbell/barbell-template-system-in-bqn.html", "published_at": "2023-06-28T21:19:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d9527286f0a", "title": "RAMsteam", "url": "https://juuso.dev/blogPosts/RAMsteam/ramsteam.html", "published_at": "2022-11-29T02:19:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952776e6ad", "title": "iPXE, NixOS, EDK2 UEFI BIOS, and Raspberry Pi 4", "url": "https://juuso.dev/blogPosts/ipxe-rpi4/ipxe-nixos-edk2-uefi-bios-and-raspberry-pi-4.html", "published_at": "2022-11-12T11:57:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d95277d4fea", "title": "Vulkan sum reduction", "url": "https://juuso.dev/blogPosts/vulkan-sum-reduction/vulkan-sum-reduction.html", "published_at": "2022-03-23T16:30:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d9527b42416", "title": "On Ethereum node operation", "url": "https://juuso.dev/on-ethereum-node-operation.html", "published_at": "2021-08-28T12:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d9527c5a33a", "title": "Static Semantics of Rank Polymorphism", "url": "https://juuso.dev/papers/msc-thesis-standrews/msc-thesis-standrews.html", "published_at": "2021-06-21T18:58:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d95287a04e5", "title": "Leveraging APL and SPIR-V languages to write network functions to be deployed on Vulkan compatible GPUs", "url": "https://juuso.dev/papers/msc-thesis-lorraine/msc-thesis-lorraine.html", "published_at": "2020-03-02T12:00:07+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952949573c", "title": "vacuum cleaners and me", "url": "https://juuso.dev/vacuum-cleaners-and-me.html", "published_at": "2019-01-27T12:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d95294ade4f", "title": "A Review of Viability of Microservices", "url": "https://juuso.dev/microservices.html", "published_at": "2018-12-18T12:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952965acfd", "title": "J1 Host Company Transfer Process", "url": "https://juuso.dev/blogPosts/j1/j1.html", "published_at": "2018-10-16T09:58:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952a3a4abd", "title": "Founder privacy in Finland", "url": "https://juuso.dev/founder-privacy.html", "published_at": "2018-09-01T01:15:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952b304a03", "title": "Latency-optimized edge computing in 5G cellular networks", "url": "https://juuso.dev/papers/bsc-thesis/bsc-thesis.html", "published_at": "2018-07-01T12:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952b757c44", "title": "Z-sukupolvi ja Tietojohtaminen", "url": "https://juuso.dev/genz.html", "published_at": "2017-04-03T12:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952c28949b", "title": "The International 5 in Numbers", "url": "https://juuso.dev/projects/highlightplay/theinternational5/index.html", "published_at": "2016-08-05T19:05:36+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952cb97813", "title": "Northern Nike Nabob - Juuso Haavisto", "url": "https://juuso.dev/northern-nike-nabob.html", "published_at": "2015-09-20T12:00:00+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952cfcf8c4", "title": "Promotions and relocations", "url": "https://juuso.dev/promotions-and-relocations.html", "published_at": "2015-02-07T22:54:12+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952d1c3bc7", "title": "Launching my first SaaS", "url": "https://juuso.dev/launching-my-first-saas.html", "published_at": "2014-08-10T19:39:10+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952d701e65", "title": "About me", "url": "https://juuso.dev/self.html", "published_at": "2014-08-06T17:28:16+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952d9a85cf", "title": "Talking Twitch.tv", "url": "https://juuso.dev/talking-twitch-tv.html", "published_at": "2014-07-28T11:44:19+00:00" }, { "id": "01a08792-eb67-72cd-af30-5d952ddf88da", "title": "Introducing Vertigo", "url": "https://juuso.dev/introducing-vertigo.html", "published_at": "2014-06-21T20:00:43+00:00" } ] posts Claim your blog
Back to juuso.dev
Blog · corpus.blog/blogs/juuso.dev/posts

juuso.dev

juuso.dev

2026

Dependently typed Underoriginal ↗
30 Jul 2026
Patching nixpkgs in a flakeoriginal ↗
13 Feb 2026

2025

Multi-token FIDO2 LUKSoriginal ↗
8 Jun 2025

2024

Combinatory Tetrisoriginal ↗
31 Jul 2024

2023

Nix as a Static Site Generatororiginal ↗
10 Sept 2023
Modular Neovim with Nixoriginal ↗
3 Sept 2023
Barbell: Template System in BQNoriginal ↗
28 Jun 2023

2022

RAMsteamoriginal ↗
29 Nov 2022
iPXE, NixOS, EDK2 UEFI BIOS, and Raspberry Pi 4original ↗
12 Nov 2022
Vulkan sum reductionoriginal ↗
23 Mar 2022

2021

On Ethereum node operationoriginal ↗
28 Aug 2021
Static Semantics of Rank Polymorphismoriginal ↗
21 Jun 2021

2020

Leveraging APL and SPIR-V languages to write network functions to be deployed on Vulkan compatible GPUsoriginal ↗
2 Mar 2020

2019

vacuum cleaners and meoriginal ↗
27 Jan 2019

2018

A Review of Viability of Microservicesoriginal ↗
18 Dec 2018
J1 Host Company Transfer Processoriginal ↗
16 Oct 2018
Founder privacy in Finlandoriginal ↗
1 Sept 2018
Latency-optimized edge computing in 5G cellular networksoriginal ↗
1 Jul 2018

2017

Z-sukupolvi ja Tietojohtaminenoriginal ↗
3 Apr 2017

2016

The International 5 in Numbersoriginal ↗
5 Aug 2016

2015

Northern Nike Nabob - Juuso Haavistooriginal ↗
20 Sept 2015
Promotions and relocationsoriginal ↗
7 Feb 2015

2014

Launching my first SaaSoriginal ↗
10 Aug 2014
About meoriginal ↗
6 Aug 2014
Talking Twitch.tvoriginal ↗
28 Jul 2014
Introducing Vertigooriginal ↗
21 Jun 2014