Michael Homer

Working on programming languages and user interfaces at Victoria University of Wellington / Find me elsewhere via my website

[Michael Homer @michaelhomer]

I have a website for sharing open copies of my academic papers. It also has pointers towards other sorts of publications from me. I am mwh on GitHub and assorted other places. https://t.co/jPwjgyuX8U

[Michael Homer @michaelhomer]

Now coming up in five minutes!

[Michael Homer @michaelhomer]

Today I'm (remotely) at PX'23, where in about six hours I'll be talking about my recent work Multiple-Representation Visual Compositional Dataflow Programming. https://t.co/lu1usp9Sdt

[Michael Homer @michaelhomer]

A lot of user development is fundamentally dataflow based, which can be tricky to express or understand: can we allow combining textual concatenative, direct-manipulation 2D, and graph representations in different functions, or the same ones at different times to make it easier?

[Michael Homer @michaelhomer]

@_paulshen With some videos of intended interactions: https://t.co/YG0uyFAwWQ

[Michael Homer @michaelhomer]

@_paulshen And possibly this one from PAINT too - the values are all of what you actually interact with, though it's as a mechanism to pick functions to work on them and build code a bit more than for their own sake.
https://t.co/YshNFlcWoG

[Michael Homer @michaelhomer]

Abstract 4/4: This paper presents a two-dimensional notation for these programs, comprising alternating rows of functions and operands with arguments and return values indicated by physical layout, and a tool for interactive live editing of programs in this notation.

[Michael Homer @michaelhomer]

Interleaved 2D Notation for Concatenative Programs. https://t.co/YshNFlcWoG I am presenting this in PAINT later today. Programs are laid out in a grid of alternating rows of function and stack value cells, functions stretched below their arguments. PDF: https://t.co/5T9x8yzpFx

[Michael Homer @michaelhomer]

Abstract 3/4: All of this difficulty can be avoided with a notation that presents both the functions and their operands simultaneously, which can also ease editing by making available values and functions directly apparent.

[Michael Homer @michaelhomer]

@disconcision Thanks! I'm still not sure if it's a good thing, the underlying paradigm is still pretty clunky, but it is quite satisfying to use. There are videos of it in action in the LIVE essay too (though that version isn't purely concatenative any more): https://t.co/YG0uyFAwWQ

[Michael Homer @michaelhomer]

@gordonbrander Tick

[Michael Homer @michaelhomer]

Naïve Transient Cast Insertion Isn't (That) Bad, in ICOOOLPS 2021. Work-in-progress measuring a just-in-time compiler automatically optimising maximal transient type checks with minimal overhead, led by Erin Greenwood-Thessman.
https://t.co/VhHZS8A6JW PDF: https://t.co/RF1GBUWGOI

[Michael Homer @michaelhomer]

@thatyetidude @wheytruthlife @SecondRingSZN @socialistraptor New Zealand is *less* "white" than all the yellow Anglospheric countries on the map, though.

[Michael Homer @michaelhomer]

*Patricia Haden

[Michael Homer @michaelhomer]

@evincarofautumn "My program is correct but it doesn't run: a preliminary investigation of novice programmers' problems", Sandy Garner, Patricia Jaden, Anthony Robins in ACE'05 .
https://t.co/AmStrOCu68

[Michael Homer @michaelhomer]

@evincarofautumn And others with less catchy titles, but this turns out to be a very common feeling and it's fascinating how the idea of "correctness" changes.

[Michael Homer @michaelhomer]

@dakami @mcclure111 This is not accurate and pretty questionable on a number of levels.