Programming

AI agent

Apache ActiveMQ

API

Jenkins (software)

Orange (software)

Prometheus (software)

Prometheus is a pull-based, label-driven time-series monitoring system built by SoundCloud in 2012 to replace StatsD/Graphite for containerised infrastructure. It works well for short-lived services and dimensional querying—but requires operational discipline around scrape targets and lacks native horizontal scaling or logging integration.

RabbitMQ

Unity (game engine)

Go (programming language)

Go is a statically typed, compiled programming language designed in 2007 by Robert Griesemer, Rob Pike, and Ken Thompson at Google to improve programming productivity for multicore, networked machines and large codebases. It combines static typing and runtime efficiency like C, readability and usability like Python, and high-performance networking and multiprocessing. Publicly announced in November 2009 and released as version 1.0 in March 2012, Go emphasizes simplicity, safety, and developer tooling — especially around concurrency via goroutines and channels, packaging, testing, and deployment — while deliberately omitting features like inheritance, assertions, pointer arithmetic, and implicit type conversions. Its design reflects a focus on the software development process itself rather than just language syntax or semantics.

Apache Cassandra

Cassandra is a distributed, wide-column database built for write-heavy, multi-datacentre workloads. It prioritises availability and scalability over consistency. It requires upfront schema design aligned to access patterns. It was developed at Facebook for inbox search and released open-source in July 2008.

Apache Hadoop

Hadoop is not a database or a query engine. It is a fault-tolerant batch-processing substrate built for scale, not speed or simplicity.

Apache HBase

Elasticsearch

Game engine

GitLab Inc.

GNU

Grafana

Grafana is open-source dashboard software that queries external data sources at render time. It unifies metrics, logs, and traces without storing data itself. Its JSON-based dashboards are versionable and composable. Since 2021, it uses AGPLv3 licensing. It originated from Graphite work at Orbitz and launched in January 2014. Its UI began as a fork of Kibana v3.

Kotlin

Memcached

Memcached is a distributed in-memory key-value store designed to reduce load on databases in dynamic web applications. It delivers speed by bypassing disk and network I/O—but requires manual cache management, offers no consistency guarantees, and assumes trust within the network. It works because it is minimal, not because it is clever.

MongoDB

MongoDB is a document-oriented database program released in February 2009. It uses JSON-like BSON documents with optional schemas. It implements its own query language (MQL). It supports indexing with primary and secondary indices. It provides high availability via replica sets. It scales horizontally using sharding. It can be used as a file system called GridFS. It is source-available and designed for unstructured data. It added ACID transactions to broaden enterprise appeal. It launched Atlas, a SaaS offering, in 2016. It replaced AGPL with the Server Side Public License in 2018. As of 2025, it ranked fifth among database software and served over 65,200 customers. Atlas became 70 percent of MongoDB's revenue by 2024.

CUDA

Objective-C

PostgreSQL

PostgreSQL is a free and open-source RDBMS that solves the problem of building reliable, scalable, and standards-compliant relational data systems without vendor lock-in. It emerged from Berkeley’s POSTGRES project in 1985 to address limitations in contemporary databases, especially Ingres’ lack of SQL support and type extensibility.

PyTorch

PyTorch is a Python-first deep learning library built by Meta in 2016 as Torch's successor. It enables rapid model prototyping via dynamic computation graphs (Autograd), tensor abstractions, and CUDA-accelerated training. As of 2025, it remains one of the most popular deep learning libraries—alongside TensorFlow and Keras—but its design prioritises researcher agility over production robustness, scalability, or deployment tooling.

Smalltalk

Smalltalk is a pure object-oriented language built for constructionist learning at Xerox PARC in the 1970s. Its first interpreter, Smalltalk-72, was written by Dan Ingalls in about 700 lines of BASIC for the Data General Nova in October 1972. It emerged from Alan Kay’s September 1972 bet that a message-passing core could fit on a page of code—and did so by the eighth morning. Smalltalk-80, released publicly in 1980, introduced foundational OOP ideas, featured an integrated development environment from inception, and established total reflection—both structural and computational. It has no primitive types: all values are objects, and all computation occurs via message passing. ANSI Smalltalk was ratified in 1998.

SQLite

SQLite is a C library that embeds a relational database engine directly into applications. It stores data in a single cross-platform file. It delivers ACID transactions and most SQL-92 features—but omits materialized views, full trigger support, and ALTER TABLE. It relies on file-system locking, not internal concurrency control. It enforces access via file permissions, not users or roles. Its type system is dynamic by default. It is widely deployed because it requires no installation, configuration, or administration.

Unreal Engine

WebAssembly

BASIC

BASIC is a pedagogical tool, not a general-purpose language. It succeeded by narrowing scope — to Dartmouth, to undergraduates, to time-shared interaction, to FORTRAN II’s grammar stripped of complexity. Its value lies in what it excluded.

C++

C++ is a systems programming language that enables high-level abstractions without runtime overhead. It delivers performance and control—but only to those who master its intricate, unforgiving rules.

C (programming language)

C is a deliberately minimal, hardware-close language that enabled Unix to become portable. It trades safety and abstraction for control and efficiency—and that trade still defines systems programming.

ChatGPT

COBOL

Ethereum

Ethereum is a decentralised mining network and software development platform enabling new cryptocurrencies and programs sharing a single blockchain. It solves the problem of building decentralised applications without forking Bitcoin or relying on centralised servers. It runs a Turing-complete virtual machine—the Ethereum Virtual Machine—specified by Gavin Wood in the Yellow Paper. It executes smart contracts as deterministic code on a decentralised network of nodes. Consensus was originally proof-of-work; it shifted to proof-of-stake on 15 September 2022. The EVM’s instruction set is Turing-complete. Smart contracts execute deterministically across thousands of nodes. The 2022 shift to proof-of-stake cut energy use by over 99%. It supports live, interoperable token standards and composability across deployed contracts. It does not deliver on its original promise of attaching real-world assets like stocks or property to the blockchain at scale. The EVM’s Turing-completeness enables bugs, re-entrancy, and gas-exhaustion failures that have caused repeated, costly exploits. Its consensus upgrade did not resolve scalability or finality trade-offs. It changed software development by making stateful, shared computation a first-class primitive on open networks. It enabled permissionless issuance of tokens and composable financial primitives—but entrenched a model where economic incentives dominate protocol governance. Yes—if you need programmable, trust-minimised execution across untrusted parties and can absorb the cost, complexity, and risk of on-chain logic. No—if you require predictable latency, low cost, or formal verification guarantees.

Fortran

Fortran is the first high-level programming language to achieve broad use. It succeeded not by abstracting away hardware, but by proving abstraction could coexist with assembly-level performance — specifically for numeric computation on the IBM 704. Its compiler introduced the basic block and Monte Carlo–driven memory layout, establishing techniques that remain standard. It made computing accessible to scientists — but only those doing number-crunching, and only on IBM hardware.

Git

Git is a distributed version control system invented by Linus Torvalds in April 2005 to replace BitKeeper for Linux kernel development. It was built from scratch because no existing free system met Torvalds’s strict criteria: sub-three-second patch application, distributed BitKeeper-like workflow, strong corruption safeguards, and rejection of CVS-style design. Git maintains a full local repository copy, uses SHA-1 hashing for object identification, and is grounded in a content-addressable filesystem model.

GitHub

Internet Message Access Protocol

Java (programming language)

Java is a programming language built to enforce portability through mandatory compilation to JVM bytecode and strict memory safety via garbage collection and pointer omission. It solves cross-platform inconsistency at the cost of runtime overhead and abstraction rigidity. Its success rests on standardisation—not inevitability.

JavaScript

JavaScript is the de facto client-side language of the web — not because it was well-designed for beginners, but because it shipped fast, ran everywhere, and locked in a runtime model no site could ignore.

JSON

JSON is a syntactic constraint, not a data model. It works because it refuses to be more than a wire format — and fails wherever meaning, safety, or evolution is required.

Lisp (programming language)

Lisp is the first language to treat code as data—and the first to prove that a small set of primitives plus eval suffices for universal computation. Its cost is runtime overhead; its payoff is programmable programmability.

Pascal (programming language)

Pascal is a disciplined, small-language experiment from 1970. It delivers on teaching structured programming and safe data modelling. It fails as a general-purpose systems language. Its influence lies in its constraints — not its adoption.

Python (programming language)

Python is a dynamically typed, whitespace-delimited programming language conceived by Guido van Rossum in December 1989 as a successor to ABC. Its first release was Python 0.9.0 in 1991. It introduced a strict visual grammar for code blocks, paired dynamic typing with reference counting and cycle detection for memory management, and codified its philosophy in PEP 20. Python 3.0 (2008) broke backward compatibility. Optional static typing arrived in 3.5. Van Rossum named it after Monty Python's Flying Circus and wrote the first interpreter as a Christmas holiday project.

Ruby (programming language)

Ruby is a deliberately opinionated scripting language that enforces object uniformity at runtime. It delivers on its promise of simplicity and expressiveness—but only within its chosen domain: developer-facing tools and applications where flexibility trumps performance or safety.

Rust (programming language)

Rust delivers provable memory and thread safety through compile-time ownership and borrowing rules—not runtime enforcement. It works where it is applied strictly, fails where those rules are bypassed or ignored, and demands upfront investment in reasoning over runtime convenience. Its success lies not in eliminating trade-offs, but in making them explicit, auditable, and unignorable.

Unix shell

Thread (computing)

TypeScript

TypeScript is a compiler-layered static typing system for JavaScript. It solves scalability problems in large codebases by enabling early error detection and better tooling — without breaking compatibility. Its mechanism is transpilation, not runtime enforcement. Its biggest win is developer velocity in complex projects — proven by the 8–12× speedup in TypeScript 7.0. Its cost is added complexity and no runtime guarantees.

Unix

Unix is the first operating system whose portability was achieved by rewriting it in a high-level language still under construction—and whose influence stems not from completeness, but from what it omitted, deferred, or forced developers to build themselves.

YAML