Pavel Anpin anpin

Tvix is a new implementation of the Nix language and package manager. In this benchmark we test it's performance when instantiating the hello package from nix. Note that at the time tvix does not have its own store implementation yet and it has to execute nix-store whenever it needs to copy files to the store.

Flash Encryption Instructions

For more details instructions please see the official ESP-IDF documentation:

https://docs.espressif.com/projects/esp-idf/en/latest/esp32c3/security/flash-encryption.html

`std`

TODO

WGSL 2D SDF Primitives

Revision: 06.08.2023, https://compute.toys/view/398

Circle - exact

fn sdCircle(p: vec2f, r: f32) -> f32 {
  return length(p) - r;
}

WGSL 3D SDF Primitives

Revision: 06.08.2023, https://compute.toys/view/407

Sphere - exact

fn sdSphere(p: vec3f, r: f32) -> f32 {
  return length(p) - r;
}

Install card drivers

   services.pcscd.enable = true;
   services.pcscd.plugins = [ pkgs.acsccid ];
   environment.systemPackages = [ pkgs.qdigidoc ];

Verify access to the card

$ qdigidoc4

Autologin a user at the console (NixOS)

Problem

NixOS provide services.mingetty.autologinUser option, but it can’t be used for the specific TTY.

Minimal working example

TTY1 and user “guest”:

	{ config, lib, pkgs, ... }:

	{
	imports = [
	${builtins.fetchTarball
	"https://github.com/Mic92/sops-nix/archive/master.tar.gz"
	}/modules/sops"
	];

	users = {

	# Edit this configuration file to define what should be installed on
	# your system. Help is available in the configuration.nix(5) man page
	# and in the NixOS manual (accessible by running ‘nixos-help’).

	{ config, pkgs, ... }:

	{
	nix = {
	package = pkgs.nixUnstable;
	extraOptions = ''

	open System
	open System.IO
	open System.Net
	open System.Text.Json
	open System.Collections.Generic
	open System.Security.Cryptography

	/// Taken from hash.cc in the nix codebase
	/// https://github.com/NixOS/nix/blob/a7540294cfae82c098e8691cd5212a9184add574/src/libutil/hash.cc
	module Base32 =

	{ pkgs ? import <nixpkgs> {} }:

	let

	# To use this shell.nix on NixOS your user needs to be configured as such:
	# users.extraUsers.adisbladis = {
	# subUidRanges = [{ startUid = 100000; count = 65536; }];
	# subGidRanges = [{ startGid = 100000; count = 65536; }];
	# };