Viktor Svub viktor-svub

Migration to ASP.NET Core in .NET 6

WebApplication and WebApplicationBuilder
Differences in the hosting model
Building libraries for ASP.NET Core
FAQ
Cheatsheet

WebApplication and WebApplicationBuilder

At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again.

What killed Haskell, could kill Rust, too

What killed Haskell, could kill Rust, too. Why would I even mention Haskell in this context? Well, Haskell and Rust are deeply related. Not because Rust is Haskell without HKTs. (Some of you know what that means, and the rest of you will wonder for a very long time). Much of the style of Rust is similar in many ways to the style of Haskell. In some sense Rust is a reincarnation of Haskell, with a little bit of C-ish like syntax, a very small amount.

Is Haskell dead?

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

	import network
	import socket
	import time
	import struct

	from machine import Pin

	NTP_DELTA = 2208988800
	host = "pool.ntp.org"

	BS-SPEKE (defined on multiplicative groups)

	BS-SPEKE is a modified B-SPEKE with blind salt (OPRF). Modified B-SPEKE is a
	similar change from SPEKE as from SPAKE2 to SPAKE2+ to make it augmented. Doing
	this saves a scalar point multiply vs original B-SPEKE with blind salt. BS-SPEKE
	is the best augmented PAKE that I know of. Only problem is there are no proofs,
	but it's not hard to take the SPEKE proof, add the OPAQUE proof for OPRF, and
	it's obvious that the augmented change makes it augmented. So if anyone knows
	how to formally state that in a proof, that would be awesome to have. BS-SPEKE
	defined on ECC can be found here:

	[Custom Colors]
	01=#000000
	02=#B5E2F5
	03=#A2C5D4
	04=#89ACEC
	05=#006633
	06=#B2D766
	07=#648000
	08=#F6B05B
	09=#FFFFFF

	@-moz-document url-prefix("about:reader") {
	/*
	Auto-hide reader sidebar (it re-appears only when hovering over it)

	source:
	https://www.reddit.com/r/firefox/comments/39tcie/how_do_i_hide_the_sidebar_in_reader_view/cs6dmqb
	*/

	.reader-toolbar,.reader-toolbar .button:not(:hover) {
	background-color:transparent !important;

	"<!--"
	"><!--"
	"\|\|[];"
	"--><!--"
	"--></"
	"----"
	"!--<"
	"//--></"
	"//-->"
	"...</"

	if (-not ([Net.ServicePointManager]::SecurityProtocol).ToString().Contains([Net.SecurityProtocolType]::Tls12)) {
	[Net.ServicePointManager]::SecurityProtocol = [Net.ServicePointManager]::SecurityProtocol.toString() + ', ' + [Net.SecurityProtocolType]::Tls12
	}

	# Kernel sysctl configuration file for Linux
	# Version 1.11 - 2015-07-07
	# Aysad Kozanoglu Aysad K.
	# This file should be saved as /etc/sysctl.conf and can be activated using the command:
	# sysctl -e -p /etc/sysctl.conf
	#
	# For binary values, 0 is disabled, 1 is enabled. See sysctl(8) and sysctl.conf(5) for more details.
	#
	# Tested with: Ubuntu 14.04 LTS kernel version 3.13
	# Debian 7 kernel version 3.2