Screwtape screwtape@identi.ca

Sydney, Australia

Font nerd, photo nerd, Linux nerd, Python nerd, web nerd. I make great toasted-cheese sandwiches

  • 2017-01-15T08:17:23Z via Identi.ca Web To: Public CC:

    It's been a long time since I did any photography, but on Thursday I went on a photo-walk around a new park that opened last year (on the site of the old commercial wharves) and found some things I liked:

    https://www.flickr.com/search/?user_id=thristian&min_upload_date=1484312400&max_upload_date=14845715...

  • 2017-01-08T01:11:48Z via Identi.ca Web To: Public CC:

    I forget where I found it, but somebody pointed me to a YouTube playlist called "Category Theory for Programmers", and I'm about half-way through it (up to the end of lecture 5.2, Algebraic Data Types).

    Having dabbled in Rust and read some blog-posts about Haskell, I already knew some of this stuff (like the existence of sum and product types, or Void and unit), but having them all described with all the connections between them is kind of blowing my mind. For example, I knew algebraic data types were "algebraic" because they're a bit like "addition" and "multiplication", but the video pulls out a whole bunch of high-school algebra, translates it into data-type notation and shows that it not just works, but that it's actually useful things a programmer would recognise.

    It's a long series of videos—it seems like a university professor recorded an entire semester's worth of lectures—but I'm more than happy to have spent the time to watch them on my Christmas holidays.

    Charles ☕ Stanhope , der.hans , Diane Trout , joeyh like this.

    der.hans shared this.

    I watched several of these on the plane, up to 2.2 Monomorphisms & simple types. The first talk is some nice philosophy, and the subsequent ones make category theory seem easier than I expected. Perhaps category theory is like monads that way?

    joeyh at 2017-01-12T02:04:28Z

  • 2016-12-31T10:51:31Z via Identi.ca Web To: Public CC:

    I've been a tea-drinker for years, but having experienced tepid and room-temperature tea, the idea of "iced tea" sounded thoroughly revolting. But, my parents had a bottle of peach-flavoured ice-tea, and it wasn't too bad, so I decided to try making my own.

    In particular, I filled a mug with boiling water, dropped a tea-bag into it, waited 4 minutes (my usual span) then took the tea-bag out and dissolved a teaspoon of honey into it. Finally, I stuck it in the fridge for a few hours.

    When it was cold, I pulled it out, sprinkled some ice-cubes into it, and... ugh. Not as disgusting as room-temperature tea, but still quite bitter. Maybe it needs more honey?

    I normally have tea with milk and no sugar, but I assume milk in iced tea Just Wouldn't Work; I've never heard of anybody ever trying it.

    I tried cold tea once. Not nice, that's one thing I like hot (unlike coffee xD)

    JanKusanagi at 2016-12-31T12:32:48Z

  • 2016-11-16T02:47:56Z via Identi.ca Web To: Public CC:

    How To Be A White Person Right After Trump Got Elected

    "Just remember that purely political violence is the tool of the fascist, and that you can’t employ it without becoming one to some degree. So don’t beat up Red Hats or Paleocons or even Steve Bannon. It might feel satisfying, but at this stage its moral justification bears very little scrutiny."
  • 2016-11-06T12:31:37Z via Identi.ca Web CC: Public

  • 2016-10-03T21:46:29Z via Dianara To: Public CC: Followers

    After years of inactivity, on yesterday's public holiday I took some time to tinker with my Python parser library, Omega. Previous tinkerings had been cut short by the usual backtracking-parser flaw where a syntax error in the input causes it to wildly backtrack out to unrelated parts of the grammar and you get some stupid error message like "expected EOF, found trailing data at offset 1".


    So, this time I implemented the "cut" operator that prevents backtracking, so you get more relevant error messages, much closer to the source of the problem. The other classic problem with PEG/Packrat parsers is crazy memory usage, as they cache all the parser states they might backtrack to but probably never will - and because "cut" prevents backtracking, it's also a signal to the parser to discard old parser states, freeing up a bunch of memory. So, it's a double win!


    The paper where I first read about "cut" suggested that cuts be automatically inserted as an optimisation pass, but I don't support optimisation passes yet so right now I've just been sprinkling them around manually, and it's working pretty well.


    I really do need optimization passes, though: not just for "cut", I also need to transform the simpler parts of the parser into regexes that I can hand off to Python's (C-implemented) regex engine, rather than doing all the matching myself.. my current approach is simple, but it's not doing me any speed favours. :/

    Alex Jordan , Charles ☕ Stanhope , Ben Sturmfels like this.

  • 2016-08-21T12:06:01Z via Identi.ca Web To: Public CC:

    So, I'm watching the Larry Wall keynote from the Curry On 2016 programming language conference, about Perl 6:

    https://www.youtube.com/watch?v=BJIfPFpaMRI

    Man, every time I read about Perl 6, I get really enthusiastic about the community and the ideas and the features (PEG parsers as a core language feature! Gradual typing! Custom operators! Every binary operator can be used for folding! Deploy on the JVM or their custom VM!) but then I go look at some tutorials and there's a million special-case syntaxes for different things and I start worrying about what happens when you mix and match them (for example: $ for scalars, @ for arrays, OK. What happens if you put the "wrong" sigil on a variable name? Are they separate name-spaces? Are there terrible DWIM defaults like Perl 5?).

    I really want to like Perl 6, but it's just so... Perly.

    Face likes this.

  • 2016-07-30T09:12:24Z via Identi.ca Web To: Public CC:

    "From Monkey Island to Broken Age": The lead programmer of Broken Age, who also worked on the Monkey Island Special Edition games and the remastered releases of Day of the Tentacle and Grim Fandango, talks about the technology and implementation details of 2D point-and-click adventure games.

    https://www.youtube.com/watch?v=38kpv_TYRKE
  • 2016-06-21T09:30:32Z via Identi.ca Web To: Public CC:

    I had a wheezy cough this morning so I stayed home from work; rather than lounge around playing video games I decided I would try to wrap my head around a VT220+ terminal emulator state-machine in Rust.

    As it turns out, just mapping out the standards documents where these things are defined is more than a day's work, let alone when your head's a bit fluffy. Maybe this is one of those things that should wait for retirement...
  • 2016-06-03T23:53:20Z via Identi.ca Web To: Public CC:

    Shower thought: in the South Pacific, a "continental breakfast" is whatever they have in Australia.

    Face , Arcee like this.

    Face , Face , Face shared this.

  • 2016-05-28T01:23:46Z via Identi.ca Web To: Public CC:

    Time rolls on, and ideas and tastes froth and roll.

    When I was younger, I was overwhelmed by all the ideas in the world, but I found a few that were fresh and exciting and that I enjoyed studying and learning about. Other ideas surfaced around me, but I figured I'd get around to investigating them sooner or later. Some of them evaporated before I got to them, some of them were replaced by more, newer ideas.

    And now, mid-life, I feel I've got a good grasp of some of the basics, and I'm ready to stretch myself and start exercising these ideas and practicing them... but already, I notice there's not as many fellow practitioners as once there were, and the few really visible examples are the old-before-their-time people who write Kids Today Value Style Over Substance diatribes and hunker down trying to prevent the things they love from changing at all, ever.

    I hope I'm not one of those people, I don't want to be one of those people, I can still find new ideas I'm interested in and want to explore even if they're rarer than they once were... but honestly, I'm worried.

    Charles ☕ Stanhope , illyria like this.

  • 2016-04-10T13:47:39Z via Identi.ca Web To: Public CC:

    When I was a kid, I had an Apple II+. It only handled upper-case characters, with inverse and (for special occasions) blinking. I was super-jealous of my friend with an IBM XT, with a ridiculously fancy character set that included card suits and Greek letters.

    Somewhere I learned that newer Apple II models than mine had a thing called MouseText, whose purpose wasn't entirely obvious, but it was yet more fancy characters I didn't have access to. I felt more frustrated, but eventually I got my own PC-compatible and had all the fancy glyphs I could use, and moved on with my life.

    But recently, I came across a TrueType font based on the old Apple II character ROM, which happened to include MouseText characters in the Unicode Private Use Area. And the Wikipedia article on MouseText (because of course there's a Wikipedia article on MouseText) mentions it was added to allow "simple text user interfaces resembling the Macintosh graphical user interface", which makes sense since the Apple II was much more limited than Macintosh hardware, but GUIs were all the rage in 1984. And even more conveniently, the Internet Archive happens to have a scan of the Developer's Handbook for the Apple II MouseText Toolkit!

    So here I am, at quarter-to-midnight, with a line of mysterious glyphs pasted into Vim, shuffling them around and trying to shape them into something resembling the poorly-reproduced, ten-times-photocopied pictures in a thirty-year-old book, finally living out my childhood fantasy of making weird shapes into slick and professional-looking (for the time) displays...

    You know, this probably wouldn't be the best excuse if I wind up late to work tomorrow.

    jasonriedy@fmrl.me , lnxwalt@microca.st , Arcee like this.

    >> Screwtape:

    “[...] this probably wouldn't be the best excuse if I wind up late to work tomorrow. [...]”

    But more original than the subway breaking down or getting a flat, that's for sure!

    JanKusanagi at 2016-04-10T14:17:41Z

  • 2016-03-28T10:47:08Z via Identi.ca Web To: Public CC:

    Holy crap, a new Hectic City mix from The Kleptones:

    http://www.kleptones.com/blog/2016/03/27/hectic-city-16-lucem-diem/

    joeyh likes this.

    I had ~2 hrs sleep last night and this is just the thing to drift into a hopefully afternoon daze/nap to.

    joeyh at 2016-03-28T15:47:51Z

  • 2016-03-13T21:40:15Z via Identi.ca Web To: Public CC:

    Some shower thoughts:

    It's a common thing in hip-hop to use spoken-word samples that naturally fit the tempo of the track (for example). That works surprisingly often because (apparently) the syllable-tempo of spoken English falls more or less into the "danceable" range.

    But there's languages with very different syllable-tempos; Spanish tends to run much faster, for example. But is it exactly twice as fast? Do hip-hop artists in Spanish-speaking countries have to stretch their speech samples to fit the music, or do they make the music faster to match? Or maybe it all winds up in some obscure timing signature like 7/4 so that everything fits?

    Arcee , Arcee shared this.

    Hmmm... I wonder.

    Arcee at 2016-03-13T23:46:16Z

  • 2015-12-29T11:59:10Z via Identi.ca Web To: Public CC:

    Spending some holiday time on a pleasantly futile project; trying to figure out how to implement a DEC VT100 terminal emulator.

    I'm beginning to understand why nobody, not even xterm, bothers to implement the VT100's "double width characters" feature, and I'm sorely tempted to pretend it doesn't exist.
  • 2015-12-07T08:24:21Z via Identi.ca Web To: Public CC:

    Little Shop of Horrors, anyone?
  • 2015-11-12T10:27:16Z via Identi.ca Web To: Public CC:

    MST3K is one of those things whose peaks are awesome and whose average is therefore high, but whose median is actually a bit dull. Still, I still know the theme-song(s) off-by-heart and I get all tingly when I hear that surf-rock chord at the end of the closing credits, so I'm gonna back this just because:

    https://www.kickstarter.com/projects/mst3k/bringbackmst3k

  • 2015-10-11T02:48:00Z via Identi.ca Web To: Public CC:

    Huzzah, there's finally a new version of the TreeStyleTab addon that works with Firefox version 40 and above!
  • 2015-09-26T01:25:27Z via Identi.ca Web To: Public CC:

    For anybody else who has to use Windows at work and misses the X11 compose key feature:
    https://github.com/samhocevar/wincompose
  • 2015-08-24T09:17:59Z via Identi.ca Web To: Public CC:

    The BSD "ministat" tool is even smarter than copy/pasting a column of numbers from my terminal into a spreadsheet to see what they look like, and a good deal simpler and easier-to-use besides.

    I'm glad it's in Debian, but it (or something like it) really should be in coreutils.

    Space Hobo , Kyosuke , Olivier Mehani like this.

    Olivier Mehani shared this.