Live data from Hacker News

Viewing profile — Twisol

Twisol

HN member
Joined
Tue, Jul 20, 2010, 7:34 AM UTC
HN karma
3,390
Public activity
1,148 items

About Twisol

Software developer and mathematician; areas of interest include programming language semantics and concurrency. I Currently a graduate student at UC Santa Cruz; previously worked at Caltech's Jet Propulsion Laboratory (JPL) on mission planning+simulation software.

Blog: https://www.jonathan.com/

Twitter: https://twitter.com/Twisol

GitHub: https://github.com/Twisol

Email: twisolar gmail (please don't come selling any services; otherwise, please let me know you found me via HN or something, because cold calls are confusing enough)

[ my public key: https://keybase.io/twisol; my proof: https://keybase.io/twisol/sigs/t3hJmOxbrWLW5PpKNS3nbtl1bOYx5bSTwF75FHAW6Hw ]

Recent public activity

  1. comment
    Comment #49041927

    I also always look for the IRE MUDs :) I played Achaea about 15 years ago; the community of players really makes the game what it is. (If anybody remembers Soludra, that's me!)

  2. comment
    Comment #48757640

    I can't speak to "most", but the incredible CrossCode displays the HTML5 shield on startup, so indie games on the web stack do exist and can be amazing.

  3. comment
    Comment #48628649

    I think "a week" is slightly optimistic, but I also think "a month" is slightly pessimistic. When I learned hiragana, I spent my free time drilling on RealKana [0]. I'd focus on a …

  4. comment
    Comment #48618849

    As you say, projections and rotations are easily accounted for in linear algebra. The issue is that translations are not a linear transformation. For instance, consider f(x) = 2 + …

  5. comment
    Comment #48115849

    > It feels like software developers are scientists who study their customers' knowledge domains. I agree so much with this. It's why I feel so stifled when an e.g. product manager …

  6. comment
    Comment #48102724

    > I've recently been curious about the abstract machines implied by this process for other kinds of programs. Olivier Danvy's "Rational Reconstruction of the SECD Machine" [0] expl…

  7. comment
    Comment #47957826

    An eDSL is an (e)mbedded (D)omain-(S)pecific (L)anguage. In other words, it's a language for describing domain-specific entities and operations, that happens to be embedded into an…

  8. comment
    Comment #47510353

    I saw signs of both human and LLM authorship, so it's probably at least not slop . It did take me out of it a bit though, yes.

  9. comment
    Comment #47214894

    Yes, this is missing the "pressure" part of "backpressure", where the recipient is able to signal to the producer that they should slow down or stop producing messages. Observabili…

  10. comment
    Comment #47211020

    HTML is actually a dialect of SGML. XHTML was an attempt to move to an XML-based foundation, but XML's strictness in parsing worked against it, and eventually folks just standardiz…

  11. comment
    Comment #47201767

    Wait, how is Rocket League affected by AI? I play infrequently these days, but I hadn't noticed anything :(

  12. comment
    Comment #47082422

    I have a friend who named their custom-built languages "Monica" and "Joe". It's surprisingly common for homegrown languages, I think.

  13. comment
    Comment #46985475

    > room designated was meadows and you could find herbs which would replenish over time I'm sure several MUDs did this, but, this sounds an awful lot like my home MUD of Achaea, whi…

  14. comment
    Comment #46983774

    I agree in principle, but actually, according to the netcat website [0]: > If netcat is compiled with -DTELNET, the -t argument enables it to respond to telnet option negotiation […

  15. comment
    Comment #46969669

    > [...] no, I am not confused, because I was giving an example of why the Telnet-implementation, the program, the client, was so inadequate for playing on MUD servers. Then this is…

  16. comment
    Comment #46968927

    As a MUD enthusiast of two decades, this is not accurate. Where are you getting this information? Most MUDs implement RFC 854, and a number of non-standard Telnet option subnegotia…

  17. comment
    Comment #46968611

    The difference between "telnet" the program and "telnet" the protocol is especially important in this discussion, I think. A more "proper" tool for that is netcat -- I doubt SMTP s…

  18. comment
    Comment #46968507

    > Someone upstream of a significant chunk of the internet’s transit infrastructure apparently decided telnet traffic isn’t worth carrying anymore. That’s probably the right call. D…

  19. comment
    Comment #46873083

    Top 0.44% here. Hrm...

  20. comment
    Comment #46804772

    I'd just like to invoke the principle to "not judge a book by its cover". The article here is very well written and does a great job of conveying the perspectives and opinions of m…

  21. comment
    Comment #46804747

    > I don't understand this urge to demonize the parents, who on top of having lost a child, have to stand these witchtrials. Neither the article nor the commenter you replied to has…

  22. comment
    Comment #46804703

    Also relevant to the quote selected by 'steelbrain: > Recently, Parvaz Madadi has undergone a painful process of revisiting her past work and memories. [...] She added that she had…

  23. comment
    Comment #46727391

    I am young, but not so young as that. I do have a credit card, I just don't use it for anything except the monthly cost of server hosting (to keep it in use). Despite its disuse, I…

  24. comment
    Comment #46727333

    I had this thought as well. I didn't want to raise it myself, because I don't have any personal evidence that this is the case, but of course the "cash back" has to come from somew…

  25. comment
    Comment #46727325

    I've heard this, too, and it's a good reason to use a credit card at least for significant purchases. But I'd rather see those same protections extended to debit cards. I wish I un…