| 1. | | Morphing Arbitrary Paths in SVG (minus-ze.ro) |
|
87 points by vg_head 30 days ago | past | 16 comments
|
|
| 2. | | Using STM for Modular Concurrency: An Industrial Experience Report (2020) [video] (youtube.com) |
|
1 point by vg_head 32 days ago | past
|
|
| 3. | | Morphing Arbitrary Paths in SVG (minus-ze.ro) |
|
4 points by vg_head 55 days ago | past
|
|
| 4. | | The Links Programming Language (links-lang.org) |
|
2 points by vg_head 58 days ago | past
|
|
| 5. | | Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io) |
|
22 points by vg_head 76 days ago | past | 2 comments
|
|
| 6. | | Flattening Bézier Curves and Arcs (minus-ze.ro) |
|
89 points by vg_head 89 days ago | past | 18 comments
|
|
| 7. | | Tiny Compiler – Writing a Compiler in a Weekend (github.com/ssloy) |
|
4 points by vg_head 5 months ago | past | 1 comment
|
|
| 8. | | Mesh Colours for Gradient Meshes (2021) [pdf] (rug.nl) |
|
2 points by vg_head on Nov 13, 2022 | past
|
|
| 9. | | Drawing an elliptical arc using polylines, quadratic or cubic Béziers (2003) [pdf] (brookes.ac.uk) |
|
1 point by vg_head on Sept 30, 2022 | past
|
|
| 10. | | 2D Graphics Primitives (2009) [pdf] (mare.ee) |
|
1 point by vg_head on Sept 27, 2022 | past
|
|
| 11. | | Forma: The parallel CPU vector renderer (googlesource.com) |
|
3 points by vg_head on Aug 28, 2022 | past | 2 comments
|
|
| 12. | | SVG2 Mesh Gradient rendering in Haskell (2016) (twinside.github.io) |
|
3 points by vg_head on May 16, 2022 | past
|
|
| 13. | | Coons Patch Mesh Gradients in SVG (2012) (tavmjong.free.fr) |
|
2 points by vg_head on May 15, 2022 | past
|
|
| 14. | | Essentials of Compilation (github.com/iucompilercourse) |
|
3 points by vg_head on April 6, 2022 | past | 1 comment
|
|
| 15. | | Logic and Proof (leanprover.github.io) |
|
1 point by vg_head on March 4, 2022 | past
|
|
| 16. | | Elements of the Theory of Computation (1997) (pearson.com) |
|
8 points by vg_head on Jan 30, 2022 | past
|
|
| 17. | | Massively-Parallel Vector Graphics (2014) (w3.impa.br) |
|
2 points by vg_head on Jan 20, 2022 | past
|
|
| 18. | | The Unreasonable Effectiveness of JPEG: A Signal Processing Approach (youtube.com) |
|
1 point by vg_head on Jan 19, 2022 | past
|
|
| 19. | | Thinking with Types – Type-Level Programming in Haskell (2019) (thinkingwithtypes.com) |
|
3 points by vg_head on Dec 30, 2021 | past
|
|
| 20. | | Asynchronous I/O and coroutines for smooth data streaming (Meeting C++) (youtube.com) |
|
1 point by vg_head on Dec 27, 2021 | past
|
|
| 21. | | Correctness Proofs for Device Drivers in Embedded Systems (2010) [pdf] (utah.edu) |
|
2 points by vg_head on Dec 24, 2021 | past
|
|
| 22. | | Sol – An MQTT broker from scratch (2019) (codepr.github.io) |
|
3 points by vg_head on Dec 7, 2021 | past
|
|
| 23. | | Resolution Independent Path Rendering of Dynamic Geometry (diva-portal.org) |
|
1 point by vg_head on Nov 12, 2021 | past
|
|
| 24. | | Types and Programming Languages (2002) (mitpress.mit.edu) |
|
147 points by vg_head on Nov 10, 2021 | past | 28 comments
|
|
| 25. | | C++ Annotations (rug.nl) |
|
2 points by vg_head on Oct 17, 2021 | past
|
|
| 26. | | Introduction to Mathematical Logic (researchgate.net) |
|
2 points by vg_head on Oct 7, 2021 | past
|
|
| 27. | | Hierarchical Rasterization of Curved Primitives for Vector Graphics on the GPU [pdf] (icg.tugraz.at) |
|
3 points by vg_head on Oct 4, 2021 | past | 1 comment
|
|
| 28. | | Eigenvalue computation in the 20th century (2000) (sciencedirect.com) |
|
1 point by vg_head on Sept 21, 2021 | past
|
|
| 29. | | A Functional Description of TEX's Formula Layout (1997) [pdf] (eecs.berkeley.edu) |
|
1 point by vg_head on Sept 16, 2021 | past
|
|
| 30. | | The Proof Theory Blog (prooftheory.blog) |
|
1 point by vg_head on Sept 16, 2021 | past
|
|
|
|
More |
