综合技术 2018-01-06Drawing simple generative organics with L-systems Today we’ll take a brief break from technical diagramming to talk about something fun: drawing simple generative tree-like struc……

科技动态 2017-10-03Research claims CCLeaner attack carried out by Chinese-linked group Security researchers increasingly believe that an elite Chinese hacking group broke into British software maker Piriform to boob……

科技动态 2017-07-27ExteNet acquires Axiom Fiber Networks, enhances NYC fiber footprint ExteNet, a provider of Distributed Network Systems (DNS) for wireless and wireline broadband provide……

综合编程 2017-07-04Heighway’s Dragon Curve using Python Introduction | Dragon Curve A Dragon curve is a recursive non-intersecting curve also known as the Harter–Heighway dragon or the……

综合技术 2017-06-27A 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) One of my favourite book……

综合技术 2017-06-16Set 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 and Venn D……

综合技术 2017-06-12Thanks, 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 them to the ……

综合编程 2016-09-25A 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 a minor step……

综合编程 2014-10-08Automated Theorem Proving in Python October 8, 2014I made an automated theorem prover for first-order logic. For any provable formula, it’s guaranteed to find the……