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

help-circle





  • I suspect in the real world it’s frustrating enough for restaurants that it wouldn’t have worked out.

    You’re pretty much tricking restaurant workers into one of those awful voice-based phone trees.

    Plus there are so many things that can actually happen when you try to book a table on the phone - they don’t have exactly what you want but can offer you this time instead… they only have outside seating available… etc. etc.

    Plus, just having a proper online booking form is clearly a better option and not totally uncommon these days.










  • 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.




  • I think it’s a perfectly reasonable license. You can also use it for free with closed source projects, except embedded projects (where most of the money is), which I think is generous.

    I don’t think everything has to be completely free. I’d much rather they had a viable business model and actually continue existing than just fizzle out because they have no funding source. Writing a high quality GUI toolkit is an enormous task so it’s not really going to happen otherwise.

    As much as I’m following egui, Xylem, Dioxus, Makepad etc. and hope they succeed I’d put my money on Slint being the first to make a Rust GUI toolkit of the same quality as Qt.


  • 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.