← Înapoi la Urmăritori

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 11
  1. Conditional Compilation in Lean

    Conditional compilation is a handy tool to have for programming.

  2. Lean Roguelike (Part 2)

    We start with very simple ambitions.

  3. Smarter Faster Better

    Book review time.

  4. Lean Roguelike (Part 1)

    To better learn the applicability of formal methods in general for application development, I’m attempting to write small roguelike using Lean.

  5. Gitea Transfer to New Instance

    This article describes how to move a Giteahttps://about.gitea.com instance from one docker container to another.

  6. Staff Engineer Book Review, Part 1

    The last couple of years have seen more attention paid to the Staff+ tier of technical positions.

  7. The Pyramid Principle for Writing

    The Pyramid Principlehttps://www.amazon.com/Pyramid-Principle-Logic-Writing-Thinking/dp/1292372265/ by Barbara Minto is a very short book on writing and thin…

  8. While watching video 2.1 of the Category Theory series, Bartosz briefly mentions semantics of programming languages.

  9. Category Theory: What Is A Category?

    From a functional programming perspective, category theory is a branch of mathematics that serves a purpose similar to what patterns do in object-oriented pr…

  10. Review of Naming Things by Tom Benner

    Billed as the solution to the hardest problem in Computer Science, it doesn’t quite deliver on that promise.

  11. Experimenting with Kubernetes

    Setting up a Kubernetes cluster is a rewarding way to deepen your understanding of container orchestration.