from Hacker News

vg_head

joined 10/28/20, 10:23 AM has 350 karma

• Unintuitive optimization for performing paths union

  by vg_head on 12/29/24, 6:40 PM, with 8 comments

• Morphing Arbitrary Paths in SVG

  by vg_head on 6/7/24, 7:55 PM, with 16 comments

• Using STM for Modular Concurrency: An Industrial Experience Report (2020) [video]

  by vg_head on 6/5/24, 7:51 PM, with 0 comments

• Morphing Arbitrary Paths in SVG

  by vg_head on 5/13/24, 7:54 PM, with 0 comments

• The Links Programming Language

  by vg_head on 5/11/24, 2:32 PM, with 0 comments

• Beatrice: A tagless, dependently typed, self-aware programming language

  by vg_head on 4/22/24, 9:29 PM, with 2 comments

• Flattening Bézier Curves and Arcs

  by vg_head on 4/10/24, 12:48 PM, with 18 comments

• Tiny Compiler – Writing a Compiler in a Weekend

  by vg_head on 1/13/24, 12:15 AM, with 1 comments

• Mesh Colours for Gradient Meshes (2021) [pdf]

  by vg_head on 11/13/22, 10:46 AM, with 0 comments

• Drawing an elliptical arc using polylines, quadratic or cubic Béziers (2003) [pdf]

  by vg_head on 9/30/22, 1:54 PM, with 0 comments

• 2D Graphics Primitives (2009) [pdf]

  by vg_head on 9/27/22, 2:26 PM, with 0 comments

• Forma: The parallel CPU vector renderer

  by vg_head on 8/28/22, 5:08 PM, with 2 comments

• SVG2 Mesh Gradient rendering in Haskell (2016)

  by vg_head on 5/16/22, 12:41 PM, with 0 comments

• Coons Patch Mesh Gradients in SVG (2012)

  by vg_head on 5/15/22, 1:41 PM, with 0 comments

• Essentials of Compilation

  by vg_head on 4/6/22, 2:39 PM, with 1 comments

• Logic and Proof

  by vg_head on 3/4/22, 2:15 PM, with 0 comments

• Elements of the Theory of Computation (1997)

  by vg_head on 1/30/22, 10:01 AM, with 0 comments

• Massively-Parallel Vector Graphics (2014)

  by vg_head on 1/20/22, 12:47 PM, with 0 comments

• The Unreasonable Effectiveness of JPEG: A Signal Processing Approach

  by vg_head on 1/19/22, 7:29 AM, with 0 comments

• Thinking with Types – Type-Level Programming in Haskell (2019)

  by vg_head on 12/30/21, 11:35 AM, with 0 comments

• Asynchronous I/O and coroutines for smooth data streaming (Meeting C++)

  by vg_head on 12/27/21, 6:01 PM, with 0 comments

• Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf]

  by vg_head on 12/24/21, 9:55 PM, with 0 comments

• Sol – An MQTT broker from scratch (2019)

  by vg_head on 12/7/21, 12:48 PM, with 0 comments

• Resolution Independent Path Rendering of Dynamic Geometry

  by vg_head on 11/12/21, 2:10 PM, with 0 comments

• Types and Programming Languages (2002)

  by vg_head on 11/10/21, 11:40 PM, with 28 comments

• C++ Annotations

  by vg_head on 10/17/21, 7:14 AM, with 0 comments

• Introduction to Mathematical Logic

  by vg_head on 10/7/21, 4:37 PM, with 0 comments