Posts by Tag

GoLang

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

Go

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

Backend

Back to Top ↑

DevOps

Back to Top ↑

Architecture

Back to Top ↑

Performance

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

Optimization

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

apispec

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

Audit

Back to Top ↑

Logging

Back to Top ↑

CloudComputing

Back to Top ↑

GCP

Back to Top ↑

AWS

Back to Top ↑

Security

Back to Top ↑

Compliance

Back to Top ↑

DataArchitecture

Back to Top ↑

Workflow

Back to Top ↑

StateMachine

Back to Top ↑

PetriNet

Back to Top ↑

OpenSource

Back to Top ↑

OpenAPI

Back to Top ↑

API

Back to Top ↑

Code-first

Back to Top ↑

Spec-first

Back to Top ↑

AST

Back to Top ↑

Generics

Back to Top ↑

go/types

Back to Top ↑

Static Analysis

Back to Top ↑

Compiler

Back to Top ↑

Type System

Back to Top ↑

Memory

Back to Top ↑

Graphs

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑

StaticAnalysis

Pruning: Prove It Can’t Matter, Then Skip It

21 minute read

My Go tool built 7.1 million nodes to use 104 thousand. Pruning the subtrees that provably couldn’t matter made it 2–11× faster — and the output got more com...

Back to Top ↑