TLA+ is a formal specification language for modeling concurrent and distributed systems, and proving their correctness.
Reference
Knowledge Base
289 entries
TOON stands for "Token-oriented object notation." It's somewhat human-readable, is more terse than JSON or YAML, and is more compact than either one.
an Erlang-based distributed load tester supporting HTTP, WebSocket, XMPP, LDAP, and databases; designed for very high concurrency.
a Rust-based Webpack successor from Vercel, built into Next.js. Incremental architecture for big codebases.
the last Borland Turbo Pascal release before Delphi made it obsolete. A generation of Windows programmers learned their limits here.
a statically typed superset of JavaScript developed by Microsoft. It adds optional type annotations, interfaces, generics, and compile-time checking to JS, then transpiles to plain JavaScript for execution. That transpil
Apache UIMA - Unstructured Information Management Architecture; a framework for analyzing text and extracting structured information; where Tika extracts raw text, UIMA reasons about it
UML stands for the \"Unified Modeling Language,\" a graphical notation for software development. Depending on the shop using it, it's either a useful aid or a life-consuming cult.
Valhalla is a Java project to augment the object model with "value objects," combining the abstractions of object-oriented programming with the performance characteristics of primitives. Has been worked on for a looong t
a Go HTTP load testing tool and library designed for constant-rate attacks, good for SLO/rate-limit validation.
IBM's Java IDE and the spiritual ancestor of Eclipse. Built on Smalltalk internals; discontinued in 2007.
Symantec's pioneering Java IDE and InfoWorld's 1997 Product of the Year. Passed to WebGain and discontinued in 2002.
Vite is a frontend build tool for JavaScript, designed around rapid development cycles. It's framework-agnostic and says it has "sensible defaults," much like most tools in its space.
Microsoft's free, ubiquitous code editor with Java support via extension pack. Not a full IDE but widely used for Java.
a Javascript frontend framework designed to be implemented either incrementally or "full app" - you can use it as a library and add it in pieces or write your app around it.
WebAssembly (Wasm) is a binary instruction format designed as a portable compilation target for multiple languages. It runs in browsers at near-native speed alongside JavaScript, and increasingly in server-side runtimes
a battle-tested JS bundler. Extremely powerful and configurable, but complex and slow on large projects.
an extensible terminal IRC client with a plugin architecture, scriptable in Python, Perl, Ruby, and others.
Wikipedia is... look, you know what wikipedia is. It's a publicly-editable encyclopedia. Because the public can edit it, it's useful but not considered reliable beyond crowdsourcing.