bmitc

14 ms·

391.
by bmitc 11mo ago
While world class, Russian mathematics is not known for rigor, formality, or detail, so I'm dubious.
392.
by bmitc 11mo ago
What's the difference between land value tax and property tax?
393.
by bmitc 11mo ago
> Please take a look at the Emacs documentation sometimes. I've used Emacs. > But you don’t see those in the Emacs world because the equivalent is a few lines of config. That is really quite false. It's a common sentiment th
394.
by bmitc 11mo ago
> VSCode has even less features than Emacs, OOTB. No way that is true. In fact, it's the opposite, which is the exact reason I use VS Code.
395.
by bmitc 11mo ago
Google doesn't care about products and never has. Anything they do is just creating another mouth to ingest data with.
396.
by bmitc 11mo ago
People blame Cook, and I do too. But for some reason Jony Ive never gets his discredit. He is the one who kicked off the boring rectangle, and it's clear he does not have the capacity to deviate from that. His industrial design was fra
397.
by bmitc 11mo ago
Awesome! Thank you! And quite amazing work, so thank you for sharing. This will be fun to dive into. I'm generally liking egui but have just recently been using it, so I'm still new at it.
398.
by bmitc 11mo ago
Is that application by any chance open source?
399.
by bmitc 11mo ago
F# has plenty of features that OCaml doesn't have like proper cross-platform support, proper deployment, active patterns, units of measure, computation expressions, type providers, interfaces on unions and records, etc. F# is probably
400.
by bmitc 11mo ago
Do you happen to have any particular examples?
401.
by bmitc 11mo ago
> I think writing a useful GUI has considerable overhead no matter which technology you use. I find egui far easier than Ratatui.
402.
by bmitc 11mo ago
Do we have agency?
403.
by bmitc 11mo ago
> but on the fact that it’s a vibrant ecosystem that invests in ideas even if they might not become a unicorn Most venture capitalism in the U.S. is basically snake oil. Companies with tenous ideas at best get pumped and pumped until the
404.
by bmitc 11mo ago
You're arguing convenience for things you could already do through a library over the huge amount of negatives that has come with the Internet: crime, espionage, hacking, emotional manipulation, spread of propaganda and disinformation,
405.
by bmitc 11mo ago
Flying is only safer than driving a car when extremely regular and frequent maintenance is performed and performed correctly. The safety of flying goes down very fast when the maintenance effectiveness goes down. That is not true for ca
406.
by bmitc 11mo ago
There's just no way that's actually true though in a complex environment like airports and airplanes.
407.
by bmitc 11mo ago
I'm curious about what's making you want to move to Emacs over VS Code or something like Sublime Text or Zed.
408.
by bmitc 11mo ago
> Spoken like someone who's never worked on a large-scale LABVIEW system. That's exactly false. I've single-handedly developed multi-thousand VI projects on different systems, including heavily using the OOP system and act
409.
by bmitc 11mo ago
Case in point.
410.
by bmitc 11mo ago
What do you suggest?
411.
by bmitc 11mo ago
Reject it and request the author makes it smaller. PRs should be under 1000 lines. The alternative is to sit down with them and ask what they're trying to accomplish and solve the problem from that angle.
412.
by bmitc 11mo ago
Engineers are also part of the problem, as not every engineer avoids myopia.
413.
by bmitc 11mo ago
I generally agree with your sentiment. > Rust: The "traits" system is an overreaction to Objects Are Bad. It's interesting. Interfaces, traits, and mixins are all OOP concepts. > "Async" is a nightmare In what
414.
by bmitc 11mo ago
> Moving from LABVIEW to a real programming language ... Switching from C++ to Rust? Probably not. Weird. LabVIEW is a real programming language. And both LabVIEW and Rust make entire classes of bugs that you often hit in C++ go away
415.
by bmitc 11mo ago
This would be the Elixir talk I'd watch to get excited about it: https://youtu.be/JvBT4XBdoUE
416.
by bmitc 11mo ago
I also really like Lisps/Schemes. I've always wanted to pick up Clojure but don't like how it thinly sits on top of the JVM compared to F# being deeply integrated. I always had trouble getting Clojure properly installed compa
417.
by bmitc 11mo ago
I don't see the connection to LLMs. With LLMs, you have a highly non-deterministic system that is also highly probable to be incorrect. It seems like a stretch to say that's what McCarthy was thinking about regarding declarative f
418.
by bmitc 11mo ago
I would argue that F# would be the choice of language in place of Rust if you don't want to deal with Rust's type system. F# is immutable by default with good concurrency and a static type system.
419.
by bmitc 1y ago
Kind of funny they don't separate out accessories as its own category. If I were to guess it's because they don't want to advertise how much they make selling dongles.
420.
by bmitc 1y ago
Were these continual shifts? I thought that doctor's on shift like this were given sleep rooms to sleep when they aren't needed.

More ›