“Pulling a New Proof from Knuth's Fixed-Point Printer”
Uncategorized
4
Posts
3
Posters
0
Views
-
“Pulling a New Proof from Knuth's Fixed-Point Printer”
Happy 88th Birthday to Don Knuth!
And thanks again to Rob Pike for Ivy.
-
“Pulling a New Proof from Knuth's Fixed-Point Printer”
Happy 88th Birthday to Don Knuth!
And thanks again to Rob Pike for Ivy.
@rsc Nice post! I hope to reread it carefully, but in the meantime: I don't know if you've seen this, but when this paper was reprinted in *Selected Papers on Design of Algorithms* (as Chapter 11), it comes with the following:
> Addendum
> Formal developments of program P2 were subsequently presented by David Gries ("Binary to decimal, one more time," in Beauty Is Our Business (New York: Springer-Verlag, 1990), 141-148; by R. S. Bird ["Functional pearls: Two greedy algorithms," Journal of Functional Programming 2 (1992), 237-244]; and by Jinyun Xue and Ruth Davis ("A derivation and proof of Knuth's binary to decimal conversion program," Software — Concepts and Tools 18 (1997), 149-156).
> For general procedures that convert accurately between floating-point binary and floating-point decimal numbers according to IEEE standard conventions, see Donald E. Knuth, MMIXware: A RISC Computer for the Third Millennium, Lecture Notes in Computer Science 1750 (Berlin: Springer-Verlag, 1999), 86-100.
-
@rsc Nice post! I hope to reread it carefully, but in the meantime: I don't know if you've seen this, but when this paper was reprinted in *Selected Papers on Design of Algorithms* (as Chapter 11), it comes with the following:
> Addendum
> Formal developments of program P2 were subsequently presented by David Gries ("Binary to decimal, one more time," in Beauty Is Our Business (New York: Springer-Verlag, 1990), 141-148; by R. S. Bird ["Functional pearls: Two greedy algorithms," Journal of Functional Programming 2 (1992), 237-244]; and by Jinyun Xue and Ruth Davis ("A derivation and proof of Knuth's binary to decimal conversion program," Software — Concepts and Tools 18 (1997), 149-156).
> For general procedures that convert accurately between floating-point binary and floating-point decimal numbers according to IEEE standard conventions, see Donald E. Knuth, MMIXware: A RISC Computer for the Third Millennium, Lecture Notes in Computer Science 1750 (Berlin: Springer-Verlag, 1999), 86-100.
@svat Fascinating, thank you for the links. I have both books but I've been working from the "Beauty is Our Business" copy because it arrived first and it stays open better on my desk. 😀
I will definitely look those up. Thanks again!
-
“Pulling a New Proof from Knuth's Fixed-Point Printer”
Happy 88th Birthday to Don Knuth!
And thanks again to Rob Pike for Ivy.
@rsc
In your article, the link to Ivy gives a 404 error. The problem is that it contains an extraneous ".io": "robpike.io".Poking around, the following does work:
https://github.com/robpike/ivy -
undefined oblomov@sociale.network shared this topic on
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@lysander @GustavinoBevilacqua usiamo un irritante toaster verticale che probabilmente mia madre ha pagato più di 10 euro, senza i cestinetti rimovibili, che va bene per tostare fette di pane, ma non si riescono a mettere dentro le doppie fette con ripieno.
avevamo uno di quelli orizzontali che si apre e chiude, e fino a che non ha ceduto una componente che non riusciamo a trovare per sostituirla era fantastico, lo usavamo per scaldare il pane (sia a fette che a pezzi), fare i toast farciti, scaldare la polenta, ecc.
era di quelli con le sagome di due fette standard di pancarré divise a metà lungo la diagonale, che saldano i bordi del toast farcito.
a scaldare era discretamente veloce (pochi minuti?), non c'era lo spegnimento automatico come con quelli verticali, unica cosa faceva solo due fette per volta.
-
@francommit @matz @GustavinoBevilacqua immagino si possa praticare anche con quello
-
#Svezia 2) Ora che le isole ai Caraibi non sono più frequentabili. NdR. Iera la Ministra delle Finanze svedese ha aperto ad un'eventuale adesione all'#euro dello Stato scandinavo. Ottimo: più siamo meglio stiamo.
In palio cinque isole private, vietato fare domanda ai miliardari https://it.euronews.com/viaggi/2026/02/17/la-svezia-mette-in-palio-cinque-isole-private-vietato-fare-domanda-ai-miliardari
-
@oblomov @matz @GustavinoBevilacqua il meretricio non è una pasta come il dentifricio?
-
@luca ma i titolisti lo conosco l'italiano?
-
@matz @GustavinoBevilacqua no, chiaramente è una donna che pratica il meretricio con nome d'arte Sandra
-
Ciao! Sto scrivendo la Settimana Sovversiva di oggi e sto facendo questo toot come esempio.
Guardate, un link!
https://settimana.kenobit.it/subscription/form(Potete usarlo per iscrivervi alla mia newsletter gratuita, ma questo post è più per illustrare quanto sia facile condividere un link sul Fediverso)
-
@laurenshof that’s a very smart take - yes indeed, I had never thought of it this way.
(And for the record I have notifications enabled for your posts so I don’t miss any) 🤗
