tonyg

30 ms·

361.
by tonyg 8y ago
Weren't you talking about the IDE? I feel like this is shifting the goal posts. Which IDE one uses is at most weakly connected to the toolkit one uses for GUI work.
362.
by tonyg 8y ago
Lots of people who hack on and hack with Racket (including me) use Greg Hendershott's racket-mode [0] in Emacs. It's good. Greg also wrote a blog post about it recently [1] which might be of interest. [0] https://github
363.
by tonyg 8y ago
This version is closer to the dtic.mil OP version: http://www.bitsavers.org/pdf/mit/lcs/tr/MIT-LCS-TR-205.pdf It looks visually almost identical; one neat thing about the dtic.mil version is that it is a
364.
by tonyg 8y ago
I wonder if there's something akin to the thinking behind the renaming of PLT Scheme to Racket going on.
365.
by tonyg 8y ago
It's all of these things! The IDE and the repl-equivalent, along with the entire windowing system and the rest, are all just Smalltalk programs within your installation. So you use the tools to edit the tools.
366.
by tonyg 8y ago
The "interpreted" bit isn't really true anymore. Smalltalk has been bytecode-compiled since, uh, I think 1976, and the bytecodes themselves are JITted by the Pharo/Squeak virtual machine these days. They're usually
367.
by tonyg 8y ago
Most Squeak/Pharo Smalltalk development takes place these days in the context of either git itself or a git-like DVCS called Monticello. Use of git/monticello within the image directly mirrors use of git at the command-line in Uni
368.
by tonyg 8y ago
Because objects in Smalltalk encapsulate their representation, it's not possible (without using reflection) to figure out exactly how an object represents itself. So things that would be primitives in other languages, like small intege
369.
by tonyg 8y ago
September, 1978. It's David P. Reed's PhD thesis, which led among other things to the fascinating Croquet [0,1] system. When I visited Viewpoints Research in 2014 while working on my own approach to concurrent programming, Reed&#x
370.
by tonyg 8y ago
I've found a good way to approach Smalltalk systems like Pharo and Squeak is to remember they're whole systems , not just languages with a bolted-on IDE. I like to think of each running instance as more akin to a Unix virtual mac
371.
by tonyg 8y ago
It's like using Unix more than using an IDE. The globals dictionary and class variables etc are roughly analogous to the filesystem. Ordinary avoidance of unnecessary global state / global variables does the trick. Just as in Unix
372.
by tonyg 8y ago
Related: qp-tries and critbit tries: https://dotat.at/prog/qp/README.html , https://cr.yp.to/critbit.html
373.
by tonyg 8y ago
J Strother Moore has some good slides on industrial applications of ACL2 here: https://www.inf.ed.ac.uk/teaching/courses/ar/j_moore_sprint-...
374.
by tonyg 8y ago
> That seems interesting in theory but I have a hard time imagining what it would look like in practice. This is one of the properties that makes an idea a worthy research direction.
375.
by tonyg 8y ago
You will find an interesting point of view on these matters presented in: "Patterns in Network Architecture: A Return to Fundamentals" by John Day Prentice-Hall 2008 ISBN 0-13-225242-2
376.
by tonyg 8y ago
I did, just recently; the biggest difference, to me, is that you have to configure synchronisation of PDFs yourself, if you don't want to use the Zotero web account thing to do it for you. I haven't tried the Zotero account file-s
377.
by tonyg 8y ago
That's great for synchronising files. It's not really the kind of thing that would help with synchronisation of, say, contact databases, email folders, shared text documents, calendars, bibliographies, photo archives, etc etc. It&
378.
by tonyg 8y ago
I see! Yes, that's not great.
379.
by tonyg 8y ago
Yes, by default it is completely offline. You have to take extra steps to connect it to any kind of online service, such as a Zotero web account, or Dropbox for file syncing.
380.
by tonyg 8y ago
My experience of auto-import of metadata in Mendeley is that it gets about 80% of it right. Not good enough for publication: I still had to check over each record with a fine-toothed comb when I wanted to actually use an entry to cite somet
381.
by tonyg 8y ago
I'm not sure what feature exactly you're missing, but are you aware of the "Rename file from parent metadata" option you get when right clicking on a PDF in the list? Perhaps that does what you need. If not, with Zotero
382.
by tonyg 8y ago
I have found syncing the PDFs via Dropbox works fine. Zotero puts them in a Dropbox folder with a reasonable filename, and then the regular embedded Dropbox PDF reader does an OK job on my phone/tablet. It'd be nice to have the da
383.
by tonyg 8y ago
I have just recently switched away from Mendeley because of an insanely user-hostile thing they've just done to lock-in their users. Mendeley has started encrypting users' bibliography files (from version 19), claiming variously
384.
by tonyg 8y ago
If you don't understand what's impossible, you run the risk of trying for something you'll never be able to accomplish. You'll never know why you don't succeed. It's precisely about teaching and learning the
385.
by tonyg 8y ago
The whole point of the problem is that you're not allowed to use timeouts and stuff to get a work around. Adding timeouts etc fundamentally changes the situation. The distributed systems on the Internet you see do not solve the problem
386.
by tonyg 8y ago
It is not, because it predates them both by several years.
387.
by tonyg 8y ago
I didn't get that from the article: I understood the idea to be to use the existing implementations of the urgent pointer, in context of the BSDish socket APIs we have, as message boundary markers. And, if that is done, we end up in th
388.
by tonyg 8y ago
It's a bit sad that, as a result of the urgent pointer being useless, there are 16 zero bits sent in every TCP header. They can't even be repurposed - the specs say they're meaningful only when the URG bit is set, and leave t
389.
by tonyg 8y ago
The urgent pointer mechanism is not reliable or well-implemented enough for widespread use. Excerpts from RFC 6093 (from 2011, https://tools.ietf.org/html/rfc6093 ), "On the Implementation of the TCP Urgent Mechani
390.
by tonyg 8y ago
That's not right, unless the "... ..." is empty, and even then, it depends on whether x is a global variable, and even if it isn't, it depends on the language.

More ›