David Strauß stravid

stravid / gist:c419f4b43dedaaa3cca8d2f255c3f4a1

Created August 7, 2021 06:04

Ruby + Nix

	{
	oldPkgs ? import (fetchGit {
	url = https://github.com/NixOS/nixpkgs;
	ref = "3b9b8726bdbb5405919c40920d9693c5eae246b5";
	}) {},
	newPkgs ? import (fetchGit {
	url = https://github.com/NixOS/nixpkgs;
	ref = "nixos-19.03";
	}) {}
	}:

stravid / machine.js

Created October 30, 2020 07:12

Generated by XState Viz: https://xstate.js.org/viz

	const onlineTestMachine = Machine({
	id: 'Online-Test',
	initial: 'daten_laden',
	context: {
	beispielaufgaben: [1, 2, 3],
	testteile: [
	[4, 5, 6, 7],
	[8, 9],
	[10, 11, 12],
	],

stravid / machine.js

Created June 4, 2020 12:33

Generated by XState Viz: https://xstate.js.org/viz

	const Soll = Machine({
	id: 'Soll Stand',
	initial: 'AngeforderterPosten',
	states: {
	AngeforderterPosten: {
	on: {
	stellen: 'GestellterPosten',
	abbrechen: 'AbgebrochenerPosten',
	}
	},

stravid / machine.js

Last active May 26, 2020 11:40

Generated by XState Viz: https://xstate.js.org/viz

	const Soll = Machine({
	id: 'Soll Stand',
	initial: 'Leer',
	states: {
	Leer: {
	on: {
	anfrageErhalten: 'Anfrage',
	angebotAngefragt: 'AngefordertesAngebot'
	},
	},

stravid / machine.js

Last active May 26, 2020 10:26

Generated by XState Viz: https://xstate.js.org/viz

	const Ist = Machine({
	id: 'Ist Stand',
	initial: 'Leer',
	states: {
	Leer: {
	on: {
	anfrageErhalten: 'Anfrage',
	angebotAngefragt: 'AngefordertesAngebot'
	},
	},

stravid / child-machine.js

Last active March 23, 2020 16:28

Statechart Parent Child Activity Example

stravid / SketchSystems.spec

Last active February 9, 2019 08:54

Pre-Match*

	Pre-Match*
	start match -> Match
	Match
	Starting Order*
	play -> Game
	Game
	Running?*
	another dart can be thrown? -> During
	no dart can be thrown? -> After
	During

stravid / web.rb

Created June 1, 2018 17:51

	class Web < Roda
	def initialize(database_url:)
	@database_url = database_url
	end

	route do \|r\|
	r.root do
	"Configured database URL: #{@database_url}"
	end
	end

stravid / projection_pool_demo.rb

Created January 10, 2018 18:46

	require "rubygems"
	require "bundler/setup"
	require "concurrent"

	tasks = 10.times.map do \|s\|
	Concurrent::TimerTask.new(execution_interval: 1) do
	sleep s
	puts "s: #{s}\n"
	end
	end

stravid / client.rb

Created November 9, 2016 19:31

	require "socket"

	server_ip = "192.168.1.14"
	client_ip = "192.168.1.5"
	server_port = 22040
	server_socket = UDPSocket.new

	server_socket.connect(server_ip, server_port)
	name = "Schorsch-Klaus-David-#{rand}"