tonyg

32 ms·

301.
by tonyg 6y ago
cf "Franchise", Isaac Asimov, 1955: https://en.wikipedia.org/wiki/Franchise_(short_story)
302.
by tonyg 6y ago
Perhaps you're getting downvoted because it's 2020, and your analysis makes zero mention of what some would call the most important group of people involved in any software project: the end users. There's little left to debat
303.
Runit tools in busybox – up to the task?(busybox.net)
2 points by tonyg 6y ago|0 comments
304.
TAI64, TAI64N, and TAI64NA(cr.yp.to)
2 points by tonyg 6y ago|0 comments
305.
Expect: Scripts for Controlling Interactive Processes (1991) [pdf](tsapps.nist.gov)
20 points by tonyg 6y ago|5 comments
306.
by tonyg 7y ago
It does, but it's only partial - it'll only export the basic stuff.
307.
by tonyg 7y ago
I wonder why something like https://github.com/htcat/htcat doesn't fit the bill.
308.
by tonyg 7y ago
It's truly wonderful that there are so many resources like this available these days. Overviews like this with lots of links to other topics, with the relationships to the main topic made clear, and with little insights scattered throu
309.
by tonyg 7y ago
Can you imagine a better world? Can you imagine a programming language, library, and/or operating system that improves these issues? Perhaps one where integer overflows were handled safely by default, with wrapping behaviour within eas
310.
by tonyg 7y ago
More that it'd either properly promote from a 64-bit size to a big integer size, or trap on overflow. But either way, yes, a trap is kind of the point. And there are definitely other languages almost equally as toxic as C, yeah.
311.
by tonyg 7y ago
More of a "oh yeah, that's right, C doesn't have integers, just machine words, and it doesn't help you avoid errors when you use machine words to simulate integers" bug. Overflow? You get to keep both pieces.
312.
by tonyg 7y ago
(Furthermore, checking the git blame, it turns out this bug is my fault, nearly a decade ago. Decoding a size_t out of the packet and then adding a small constant (7) to it turns out to be able to overflow size_t ... sigh. Programming in C
313.
by tonyg 7y ago
Nope. It's the C library's problem: who is to say which AMQP implementation is at the other end of the socket?
314.
by tonyg 7y ago
Note this is for one of the client libraries - the C library, to be specific - not the server (written predominantly in Erlang, a memory-safe language).
315.
by tonyg 7y ago
Wow, Dercuano looks amazing. Thanks for publishing it.
316.
by tonyg 7y ago
Oh, see also https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encodin... for a quick overview of Church and Scott encodings. (Ignore the stuff about Mogensen-Scott. Also, you'll need to have played around with
317.
by tonyg 7y ago
Yes, this is right except that the language as written is eager Scheme. You don't need a lazy system. The second and third arguments to If are nullary procedures. Their effects are delayed until invoked by whichever of True or False is
318.
by tonyg 7y ago
The syntax is close to Scheme and with small changes will run in a Scheme interpreter. For example, here's a session at the REPL of Racket: ~$ racket Welcome to Racket v7.2.0.6. > (define True (lambda (t f) (t))) > (def
319.
by tonyg 7y ago
Yes, because the machine language of ordinary CPUs uses a specific model of computation where branch instructions are the only way to effect conditional control transfer. But the idea of conditional control transfer is there in every in
320.
by tonyg 7y ago
Conditionals allow a program to react to the data it is presented with. This can be data from the outside world, or data from some other module internal to a program composed out of modules (i.e. subroutines, for example). Without conditi
321.
Direct graphical mapping of the Smalltalk object memory(thiscontext.com)
1 points by tonyg 7y ago|0 comments
322.
by tonyg 7y ago
Craig Latta did something very similar in software for visualising the object memory of a running Smalltalk: https://thiscontext.com/a-detailed-description-of-spoons-obj... "When I got the current [Smalltalk image] dow
323.
by tonyg 7y ago
Yes, but it's even less ready for public scrutiny :-) Actually, could you say more about what you have in mind? Something a bit like a config language, maybe -- terminating, sub-Turing -- or something more like a Lisp?
324.
by tonyg 7y ago
Thanks, I'll try to clarify.
325.
by tonyg 7y ago
Good idea, thanks, will do.
326.
by tonyg 7y ago
Thanks. That part isn't yet written. (It's early days still.) In a nutshell though: JSON (for example) doesn't mean anything. It has no semantics - it's just syntax. I wanted something that had a semantics. Plus, prope
327.
by tonyg 7y ago
Thanks for the feedback. However, I don't understand quite what you're getting at. Can you point out the wording you find confusing? I don't see anywhere that it says all records are equivalent. Re: distinction between form a
328.
by tonyg 7y ago
The idea is that in most programs, you'd write code as if the annotations were not there. Annotations should, as a rule of thumb, not affect control flow of your programs at all. But implementations should let programs access the annot
329.
by tonyg 7y ago
Oh shit. I wasn't really ready for this to appear here so soon. That said, comments and feedback welcome!
330.
#lang something: An alternative syntax for Racket(eighty-twenty.org)
3 points by tonyg 7y ago|0 comments

More ›