mormegil-cz

void Main()
{
	for (int kol = 2; kol < 15; ++kol)
	{
		Console.WriteLine("{0}: {1}", kol, Enumerable.Range(0, 1 << kol).Select(i => Check(Enumerable.Range(0, kol).Select(b => (i & (1 << b)) == 0 ? 0 : 1).ToList())).Min());
	}
}

static int Check(List<int> krupier) =>
	Enumerable.Range(0, 2).Select(rada =>

mormegil-cz

async function updatePasswords() {
  let oldPassword = prompt('Old password:')
  if (!oldPassword) return
  
  let loginManager = Components.classes['@mozilla.org/login-manager;1']
                               .getService(Components.interfaces.nsILoginManager)
  let matchingLogins = (await loginManager.getAllLogins()).filter(l => l.password === oldPassword)
  let matchCount = matchingLogins.length
  if (matchCount === 0) return alert('No matching logins found')

mormegil-cz

-- see https://blog.plover.com/math/logic/gantos-axe.html

import Data.Void

-- The general theorem, valid for all types p, q
heart :: (p -> q) -> ((p -> Void) -> q) -> (q -> Void) -> Void
-- The proof
heart pq npq nq = v where
    -- np :: p -> Void
    np = nq . pq

mormegil-cz

record Osoba(string Ident, string PrijmeniJmeno, int RokNarozeni, decimal KcDuchodu);
record CteniKartotekyResults(int Pocet, decimal Soucet);

void Main()
{
	var results = CteniKartoteky(ParseDuchody(File.ReadLines(@"duchody.txt")));
	var prumer = Math.Round(results.Soucet / results.Pocet);
	Console.WriteLine($"Pocet: {results.Pocet}, Prumer: {prumer}");
}

mormegil-cz

mormegil-cz

Ref;Osm rel
0021;3260507
0024;3260519
0025;3260520
0026;3260521
0027;3260522
0029;3260523
0031;3260524
0032;3260536
0033;3260539

mormegil-cz

mormegil-cz

mormegil-cz

mormegil-cz

let successes = 0;
let failures = 0;
for (let iter = 0; iter < 100000000; ++iter) {
    let counts = [3,0,0,0];

    while (counts.length > 1) {
        let loser = Math.round(Math.random() * counts.length);
        if (loser === 0) {
            break;
        }