trivialblogAn ag(e)ing hacker - posts tagged as "guile"Luca Saiu's bloghttps://blog.ageinghacker.net/feeds/atom.xml2024-08-01T18:02:14ZLuca Saiupositron@gnu.orgHappy pi Approximation Day 2014Luca Saiuhttps://blog.ageinghacker.net/posts/18/2014-07-22T00:10:00ZIt’s 22/7 again. Last year on pi Approximation Day I published a simple Forth program based on an intuitive geometrical idea: see Happy pi approximation day 2013 (<https://blog.ageinghacker.net/posts/13>). I’ve been thinking about what to do in 2014 for some time, without finding anything as nice from the programming point of view. Sure, you can find series and continued fractions converging to pi, even rapidly; these methods work, but the corresponding programs are trivial to code and don’t provide any insight. So I chose another route: a practical experiment to approximate pi by cutting and weighing metal. The result turned out ... [Read more]It’s 22/7 again. Last year on pi Approximation Day I published a simple Forth program based on an intuitive geometrical idea: see Happy pi approximation day 2013 (<https://blog.ageinghacker.net/posts/13>). I’ve been thinking about what to do in 2014 for some time, without finding anything as nice from the programming point of view. Sure, you can find series and continued fractions converging to pi, even rapidly; these methods work, but the corresponding programs are trivial to code and don’t provide any insight. So I chose another route: a practical experiment to approximate pi by cutting and weighing metal. The result turned out ... [Read more]A practical GNU epsilon tutorialLuca Saiuhttps://blog.ageinghacker.net/posts/17/2013-08-23T12:54:00ZA practical GNU epsilon tutorial Audience Lexical conventions Rationale and introduction My PhD thesis Implementation, and the relation beteen epsilon0 and epsilon1 The bootstrap problem Setup Writing more comfortably, from ‘guile+whatever’ and Emacs Basics of epsilon1 The stuff values are made of: fixnums, pointers, buffers Error situations in epsilon1 Slightly higher-level data structures: vectors, strings, boxes, tuples, records Equality and boxedness tags Lists, and simple programming examples Digression: a look at epsilon0 Practical programming in epsilon1 Sums A programming example: structural equality with boxedness tags A look at reflective data structures ‘e1:define’ is just a macro! S-expressions What’s the point ... [Read more]A practical GNU epsilon tutorial Audience Lexical conventions Rationale and introduction My PhD thesis Implementation, and the relation beteen epsilon0 and epsilon1 The bootstrap problem Setup Writing more comfortably, from ‘guile+whatever’ and Emacs Basics of epsilon1 The stuff values are made of: fixnums, pointers, buffers Error situations in epsilon1 Slightly higher-level data structures: vectors, strings, boxes, tuples, records Equality and boxedness tags Lists, and simple programming examples Digression: a look at epsilon0 Practical programming in epsilon1 Sums A programming example: structural equality with boxedness tags A look at reflective data structures ‘e1:define’ is just a macro! S-expressions What’s the point ... [Read more]