cognivore

{
    "editor.insertSpaces": true,
    "editor.tabSize": 2,
    "editor.detectIndentation": true,
    "files.trimTrailingWhitespace": true,
    "telemetry.telemetryLevel": "off",
    "vim.statusBarColors.searchinprogressmode": "",
    "vim.handleKeys": {
        "<C-p>": false,
        "<C-a>": false,

cognivore

Think of our moments those days,
Days that make helplessness overflow
    Will be right behind you,
    As you're walking to your home.

Plead you not to die now, as it's
    Hard to dig the ground in winter.

River of tears do float me,
Pushing my raft seaward:

cognivore

import { Plugin } from 'vite';
import fs from 'fs';
import path from 'path';
import { execSync } from 'child_process';

interface ZolaPluginOptions {
    zolaOutputDir?: string;
    componentDir: string;
    manifestFile: string;
    zolaBinaryPath?: string;

cognivore

___________________________________________________________________________
/#########################################################################\
|#####...####..######..######......####...####..#####..##......##......###|
|####.....###..######..########..#####.....###...####..##..######..#######|
|###..###..##..######..########..####..###..##....###..##..######..#######|
|###..###..##..######..########..####..###..##..#...#..##..######......###|
|###.......##..######..########..####.......##..##.....##..######..#######|
|###..###..##..######..########..####..###..##..###....##..######..#######|
|###..###..##...#####...#######..####..###..##..####...##..######..#######|
|###..###..##......##......##......##..###..##..#####..##......##......###|

cognivore

Deck building

You can only have cards of factions that were in a military alliance at some point during the war:

• Allies & Soviets
• Allies & Italians
• Germans & Italians
• Germans & Soviets

cognivore

Deterministically Undaunted

Starting Hand

Starting hand every turn is 5.

Casualties

Casualties are first removed from the deck, then discard, then hand.

cognivore

Monad Stacks

Before you read this: This chapter does not attempt to introduce the concept of a monad in general, it assume this as a given and explains the monads and constructs on top of them that are essential to Lean meta programming. If you don't know what a monad is already you can read (TODO: Link to monad tutorial).

Monad Transformers

Quite often in functional programming with monads one wants to have the power of more than one monad available. Specifically in Lean meta programming it is a very common pattern that we have some sort of read only input, an

cognivore

FROM gradle:7.3.0-jdk17 as builder
WORKDIR /app
COPY . /app/
RUN gradle --no-daemon bootJar

FROM openjdk:17-slim
COPY --from=builder /app/build/libs/evaluation-task-LATEST.jar /opt/app.jar

EXPOSE 8080
USER 65534:65534

cognivore

Reading trace data...
..................................................
.................................................,
..................................................
.................................................,
.................................

Finished in 5.2 seconds (0.00s async, 5.2s sync)
11 tests, 0 failures

cognivore

1. Pick random vertex q
2. Traverse the graph breadth-first until a loop is detected, then stop traversing that branch entirely
   1. If loops that have the same paths are detected on the same level, count only one of those
3. Delete vertex q and go to 1