Live data from Hacker News

Viewing profile — calebh

calebh

HN member
Joined
Thu, Dec 30, 2010, 2:20 AM UTC
HN karma
525
Public activity
136 items

About calebh

Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.

Website: https://helbl.ing/

Recent public activity

  1. comment
    Comment #48938579

    The easiest way is to keep track of the text's edit history, keeping a block of edits over time and having them signed by a timestamp authority. The final edit history can then be …

  2. comment
    Comment #47871925

    You can buy a Gros Michel banana from Miami Fruit, although they are quite expensive (almost $40 for a single banana). There are reviews of the banana on YouTube as well - I highly…

  3. comment
    Comment #47849843

    In my mind the main problem here is setting up the environment for training the LLM and ensuring that there's enough high quality training data for consumption. Getting an environm…

  4. comment
    Comment #46698164

    I bought the Asus 6K ProArt on launch, replacing an older 4k 27" Dell monitor. The new monitor is definitely an upgrade, but not as great as I was hoping. The matte coating is by f…

  5. comment
    Comment #46567933

    I bought the 6K ProArt on launch, replacing an older 4k 27" Dell monitor. The new monitor is definitely an upgrade, but not as great as I was hoping. Like you said, the matte coati…

  6. comment
    Comment #46416297

    I guess it would be good to also see a comparison between IL2CPP and Core CLR by the post author!

  7. comment
    Comment #46415400

    Will the move to CoreCLR give any speed ups in practice if the release build is complied with IL2CPP anyway? On all the games that I've worked on, IL2CPP is one of the first things…

  8. comment
    Comment #46015490

    Yes, you can relax logic gates into continuous versions which makes the system differentiable. An AND gate can be constructed with the function x*y and NOT by 1-x (on inputs in the…

  9. comment
    Comment #45439267

    I have aphantasia and have been practicing meditation with the goal of improving the condition for a couple years. I have seen some minor improvements - when I'm in a pretty relaxe…

  10. comment
    Comment #45325079

    In my experience the main benefit of functional programming is function purity. I am completely fine with mutation inside of a function since the all of the mutation logic is self-…

  11. comment
    Comment #45059706

    I'm not so certain that non-desk jobs will be safe either. What makes the current LLMs great at programming is the vast amount of training data. There might be some other breakthro…

  12. comment
    Comment #45041439

    I do networked game development on Windows and I've found the clumsy program to be very valuable to simulate adverse network conditions. You can set it up to simulate arbitrary net…

  13. comment
    Comment #44820186

    Perhaps the reason modern programs use so much memory vs what I remember from the Windows XP era is precisely because we went to 64 bits. Imagine how many pointers are used in the …

  14. comment
    Comment #44816031

    I've been doing this too! You can install it as a PWA and get a nice desktop experience.

  15. comment
    Comment #44802135

    I think the most likely path forward for commercialization/widespread use is to use AI as a post-processing filter for low poly games. Imagine if you could take low quality/low pol…

  16. comment
    Comment #44718977

    As a videogame developer, I've always thought this take was just silly. I couldn't even imagine spending the time and effort into integrating someone else's assets into my game and…

  17. comment
    Comment #44423655

    I wrote a blog [1] a couple years ago about this solution - it turns out it is possible to use timestamp authority servers in combination with hashing functions to create a verifie…

  18. comment
    Comment #44373489

    There used to be an app called Blendle that I used for this purpose. Nowadays I just instantly go to archive.is, so I guess nobody wants my microtransactions.

  19. comment
    Comment #43467904

    I'm the developer of Juniper, a functional reactive programming language for the Arduino. It's very possible to run high level code on small devices. This even includes things like…

  20. comment
    Comment #43344175

    I've also never been able to get these P2P web file transfer tools (FilePizza, ShareDrop) to work without issues. Transfers inevitably fail partway through, especially for large fi…

  21. comment
    Comment #43145964

    Isn't any pure language easy to parallelize? What advantage do interaction nets offer over a parallelizing compiler for a purely functional language?

  22. comment
    Comment #43037333

    It would be great if we could also go ahead and fix subpixel anti-aliasing for OLED screens. People have been been trying for years to get Microsoft's attention about this issue. […

  23. comment
    Comment #42772365

    The video was originally posted on X, and can still be viewed here: https://x.com/VictorTaelin/status/1881392823246729640 It's about the use of interaction nets, which gives an opt…

  24. comment
    Comment #42525467

    I've worked at military contractor jobs for years, and there are many people there who believe this - if the taxpayer is paying and the software isn't classified, then it should be…

  25. comment
    Comment #42160081

    What about using TPM modules? I've been researching these modules lately, primarily for use in online video games. From my understanding, you can use TPMs to effectively ban player…