~lobsters | Bookmarks (8)

clear filters

coding ×

Colima k8s nix setup

dev.to

Download and install the nix package manager. Usage Before running the commands below make sure you...
Download and install the nix package manager. Usage Before running the commands below make sure you wiped out all your global dependencies. Here is an example in case you used homebrew: my-computer:~$ which kubectl /opt/homebrew/bin/kubernetes-cli my-computer:~$ brew uninstall kubectl Uninstalling /opt/homebrew/Cell...

coding colima containers devops kubernetes
1
Getting Started with ActivityPub

dev.to

ActivityPub is a specification for a decentralized social network. Decentralized here means that anyone can run...
ActivityPub is a specification for a decentralized social network. Decentralized here means that anyone can run a node that is a full member of the network. Anyone on any server can follow, like, and communicate with any member on any other server. The W3C recommended the official ActivityPub spec in 1998, but it's ...

activitypub coding development education opensource
1
Beware of the DashMap deadlock

dev.to

Rust is famously build for the multi-threaded-processor world. From its core ownership-enforcement-model up to the type-based...
Rust is famously build for the multi-threaded-processor world. From its core ownership-enforcement-model up to the type-based Sync + Send-types, all is around allowing the compiler to ensure memory safety and consistency across thread boundaries. And though the std also has collections (like HashMap and BTreeSet), A...

coding dashmap deadlock rust software
1
Processing One Billion Rows in PHP!

dev.to

You may have heard of the "The One Billion Row Challenge" (1brc) and in case you...
You may have heard of the "The One Billion Row Challenge" (1brc) and in case you don't, go checkout Gunnar Morlings's 1brc repo. I got sucked in because two of my colleagues have entered the competition and are on the leaderboard. PHP is not known for its speed, but as I am working on the PHP profiler I thought I gi...

coding development engineering performance php
1
Why Bloat Is Still Software’s Biggest Vulnerability

ieee.org

cloud computing coding compsci cybersecurity software bloat
2
Learn Lambda Calculus in 10 minutes with OCaml

dev.to

I'm going to teach you the basics of Lambda Calculus really quickly. Lambda Calculus is deep....
I'm going to teach you the basics of Lambda Calculus really quickly. Lambda Calculus is deep. But I'm covering only the fundamentals here. What is Lambda Calculus? Lambda Calculus (LC) is a model to describe computations. LC describes the syntax and semantics. Syntax A lambda expression (also known as lambda term) c...

coding development functional ml ocaml
1
8 months of OCaml after 8 years of Haskell in production

dev.to

I've been using Haskell in production for 8 years. I've been using OCaml in production for...
I've been using Haskell in production for 8 years. I've been using OCaml in production for 8 months. It's time to compare those two languages. Syntax Haskell probably has the most elegant syntax across all languages I've seen (maybe Idris is better because dependently typed code can become ugly in Haskell really qui...

coding functional haskell ml ocaml
1
TDD is a personal practice

dev.to

Thibaut Rousseau Posted on Dec 18 I know TDD. I know what real TDD is. I...
Thibaut Rousseau Posted on Dec 18 I know TDD. I know what real TDD is. I know how to do it right, whatever that means depending on the TDD practitioner. I still don’t like this practice, and rarely use it, except in 2 situations: I’m fixing a bug in an existing code base: in this case I’ll write a test first to repr...

coding development engineering practices software
1

~lobsters | Bookmarks (8)

Tags

Domains

Colima k8s nix setup

Getting Started with ActivityPub

Beware of the DashMap deadlock

Processing One Billion Rows in PHP!

Why Bloat Is Still Software’s Biggest Vulnerability

Learn Lambda Calculus in 10 minutes with OCaml

8 months of OCaml after 8 years of Haskell in production

TDD is a personal practice