• 1 Post
  • 566 Comments
Joined 2 years ago
cake
Cake day: September 24th, 2023

help-circle





  • Yeah, I use Claude/ChatGPT sometimes for:

    • Throwaway scripts: “write me a bash script to delete all merged git branches starting with ‘foo’”
    • Writing functions that are tedious to look up but I can fairly easily evaluate for correctness: “write a C function to spawn a process and capture stdout and stderr merged”
    • Doing stuff in systems I’m not very familiar with: “write an OCaml function to copy a file”

    I haven’t got around to setting up any of that agentic stuff yet. Based on my experience of the chat stuff I’m a bit skeptical it will be good enough to be useful on anything of the complexity I work on. Find for CRUD apps but it’s not going to understand niche compiler internals or do stuff with WASM runtimes that nobody has ever done before.




  • This video confuses at least three different concepts - quantum uncertainty, ternary computers, and “unknown” values.

    Ternary computers are just not as good as binary computers. The way silicon works, it’s always going to be much much slower.

    “Unknown” values can be useful - they are common in SystemVerilog for example. But you rarely just have true, false and unknown, so it makes zero sense to bake that into the hardware. Verilog has 4 values - true, false, unknown and disconnected. VHDL has something like 9!

    And even then the “unknown” isn’t as great as you might think. It’s basically poor-man’s symbolic execution and is unable to cope with things like let foo = some_unknown_value ? true : true. Yes that does happen and you won’t like the “solution”.

    High level programming concepts like option will always map more cleanly onto binary numbers.

    Overall, very confused video that is trying to make it sound like there’s some secret forgotten architecture or alternative history when there definitely isn’t.






  • You’re so convinced that everyone who disagrees with you is some far right racist.

    I don’t even agree with DHH! But he clearly doesn’t have view that are so out there that he needs to be cancelled. If anything the people screeching to ostracize him are more extreme.

    The is exactly like the trans people vs JKR debating. The answer is in the middle, and JKR is definitely too strident in her views but also she isn’t literally Hitler. You don’t need to boycott board game companies because they happen to publish a Harry Potter game. Ffs.