## # Axiom

### Individuals and interactions, more than ever

The first axiom of the Agile Manifesto is "Individuals and interactions over processes and tools." This wa ...

### Trying to prove an alga’s axiom, a tale of a weekend

This is the story of my semi-lost weekend, since I tried to prove something, but I ended proving it was false. This ...

### Drawing simple generative organics with L-systems

Today we’ll take a brief break from technical diagramming to talk about something fun: drawing simple generative tre ...

### Research claims CCLeaner attack carried out by Chinese-linked group

Security researchers increasingly believe that an elite Chinese hacking group broke into British software maker Piri ...

### ExteNet acquires Axiom Fiber Networks, enhances NYC fiber footprint

ExteNet, a provider of Distributed Network Systems

### Heighway’s Dragon Curve using Python

Introduction | Dragon Curve A Dragon curve is a recursive non-intersecting curve also known as the Harter–Heighway ...

### A Shiny App to Draw Curves Based on L-System

Don’t worry about a thing ’cause every little thing gonna be alright (Three Little Birds, Bob Marley)

### Set Theory Arbitrary Union and Intersection Operations with R

and . These set operations can be generalized to accept any number of sets.

### Set Operations Unions and Intersections in R

The set operations of unions and intersections should ring a bell for those who’ve worked with relational databases ...

### Thanks, Axiom of Choice – the Banach/Tarski Paradox

Taking the five loaves and the two fish and looking up to heaven, he gave thanks and broke the loaves.Then he gave t ...

### A Hoare Logic for Rust

Lately, I've been working on a Hoare-logic-based model of the Rust MIR, which I will introduce in the post. This is ...

### Automated Theorem Proving in Python

October 8, 2014 I made an automated theorem prover for first-order logic. For any provable formula, it’s guarante ...

1. 科技动态