technical.cx Sources

Source feed

Lobsters

1912 items

A computing-focused community centered around link aggregation and discussion.

https://lobste.rs/

Lobsters

The changing role of finite-state model checking

This post stems from a recent conversation with Heidi Howard where we talked about the changing role of TLA⁺ & finite-state model checking in both research and industry. For a long time, users of TLA⁺ (or other formal specification languages like Quint) had...

Lobsters

Nathan Cooper - IPython is All You Need

Tobias Fünke (David Cross) proudly defends the "Never Nude" community in Arrested Development (Season 1, Episode 9). GIF from Tenor

Lobsters

Announcing Perspec 1.0

Perspec is a desktop app for correcting the perspective of images. After 9 years of development, version 1.0 is finally here.

Lobsters

Dynamically Naming Servers

When I provision a new container or virtual machine to serve an application, I let my Ubiquiti router's DHCP server hand them an IP. I already have to manage some static IP assignments for things like my PostgreSQL cluster or Kubernetes nodes, so letting...

Topics: DatabasesInfrastructure

Entities: InfrastructureDatabases

Lobsters

Control and complexity: tension in systems design

composing two broad approaches, one based on analytical decomposition that aims to maintain control over a system, and one based on a perspective of complex systems that resist analysis, and implications for systems design.