What reasons would you have to prefer Rust over C for compute kernels?
I am a great fan of Rust, but I don't see any benefit for kernels, due to their relatively simple nature.
That was 20 years ago (1997–2006) (sorry), Eureka was a little more recent and very optimistic (2006 - 2012), the new star treks are recent but they have lost their optimism, I'm not really sure what they are.
Star Trek: Strange New Worlds is fun and optimistic and knows what it is, but you're right about Picard and Discovery. Very confused shows with no good self-identity and Picard especially posits a dystopian future and dystopian responses to it which is a huge letdown for a Trek show.
> This has worked much better for us than asking a model to draw lines in a GUI. It also means the benchmark can spend less time testing computer use and more time testing electronics.
this is key I think - I use it for graphics tasks - it sucks at graphical environments - always use some text based representation, not really surprising I suppose. chatgpt even suggested I'll use the text representation, claude said how about I give you svg and you convert it, they seem to know.
Everything that can be objectively tested and has already tools to do so in place will work better in an automated process, regardless of the underlying technology.
PCB design with circuit simulation fits that bill perfectly.
Interesting - If you're after cross platform Flutter/Dart seems a more cross platform solution (mobile, desktop and web), or Delphi/Lazarus without the web.
I think the main idea here is the "being able to use Rust for x-platform UIs". If any language is acceptable, yes, you cold use Dart (Flutter), Delphi (Lazarus), C++ (Qt), etc.
I had to click a little to confirm that Relm4 (like the original Relm) is --as the name shows-- borrows from https://elm-lang.org
Elm comes with some really cool concepts known as The Elm Architecture (TEA) and many projects have since borrowed from it. Usually people in the FP-enthousiasts group are more inclined to like TEA. I'm not sure to what extend the brides mentioned above allow for a TEA-like architecture.
> I think the main idea here is the "being able to use Rust for x-platform UIs".
I was okay with using C as the logic layer and Lazarus as the GUI. No reason you can't do that with Rust, but it will limit the amount of spaghetti-ish patterns that you may want to create.
are you hinting at Elm? sorry my friend, that aint spagetti to me.
it's a lot of fun working at a codebase that does essentially does not allow for runtime programming errors (validation errors are still there, or API/3rd-party errors still need to pass through your code; your Elm code is essentially incapable of creating any runtime programming errors of it's own).
I wasn't referring to anything specific, just the general nature of GUI apps involve some sort of "callback which takes another callback" and invokes logic in any source file, at any point in the execution.
Not saying Elm does not have it's hard parts, but the solution in there is succinctly different from what you just described that I think you might even find it interesting.
I used Qt, Gtk, React, Elm, JS-spagetti-with-some-jQuery-on-top...
> Not saying Elm does not have it's hard parts, but the solution in there is succinctly different from what you just described that I think you might even find it interesting.
Thanks. Maybe I'll give it a bash on my next project.
what happened to ideas are cheap - execution is everything.
As Claude said to me when I said the same thing - it's not really its idea you had to ask the right questions. I find this true in some ways - asking the right question and finding out what the AI's have hidden inside them is like panning for gold imho.
> what happened to ideas are cheap - execution is everything.
It used to be that we only recognized a tiny fraction of the actual ideas involved, because most of them were intermingled with execution. We would sit there and bang out code at single-digit WPM while trying to keep block diagrams of process memory (or UML diagrams, or whatever else) in our heads, and then run the compiler and/or the tests and realize we'd gone wrong anyway.
Now we have lightning-fast "execution" devoid of real insight (just making choices more or less arbitrarily as they come up) because the LLM can do more and more without human intervention, but for some tasks it goes off the rails because the insight actually is necessary.
I never really bought into it, I still think ideas are hard, and execution may be a little easier, but still hard to. The lack of thousands of amazing new startups since AI sort of validates this.
I sometimes wonder if there are other possible neurodivergence, I'm not neurotypical, but I'm also not autistic (at least according to the criteria I've seen), just a bit odd or quirky doesn't seem to be enough.
Thanks for the links - from the OP post "Neurotypical syndrome is a neurobiological disorder characterized by preoccupation with social concerns, delusions of superiority, and obsession with conformity." I know this is a gag, but I see things like this and think oh maybe I'm autistic but no, I have the same complaints autistic people have, I just call it deathly dull, who knows.
See also "Am I German or Autistic?", which despite the cheeky title, does a pretty good job showing the balance between cultural and mindset patterns and autism spectrum traits. https://german.millermanschool.com
oh ok, thats classified as neurodivergent to, there we go, seems a poor way to organise things. It wasn't a thing when I was young, good to know, thanks
Thanks, I didn't really mean it was a negative, perhaps this is indicative of the problem - someone finds things odd, therefore here's a list of diagnoses. I should up my dosage of soma probably.
thats ok, I'm not really disturbed. I do wonder if there's evolving a restricted definition of 'normal' in some circles. I am older and it never used to be this way, it's the internet of course. People aren't that homogenised (imho).
You might like Melbourne, Federation square is beside Art galleries, trams, heritage train station, casino across the river, stadiums a short journey, though empty parking spots would be rare.
These animations are great. I have learnt so many things from LLM's, cross checking things is easy enough, but the hallucinations are really not much of a thing any more (in my experience). When you deep dive on things it does seem to get very wordy sometimes (this is claude anyway). Its taught me flutter and dart without opening a book (with the occasional reference page), set me straight on monads finally, refined some linear algebra, various bits of history, and philosophy, I'm learning spinors at the moment. Is some of it wrong - maybe, but it's not like my brain is 100% accurate any way, and when I need accuracy I look up references. It is fantastic getting a broad overview of a subject you don't know or a precis of a current subject, and its so much faster.
Hallucinations bring to question what you think you've learned. That's going to cost long-term if you labor under mis-apprehensions until you maybe figure out you learned something wrong.
where's it mentioned on that link? I can't seem to find hallucinations (don't worry found it).
Yes, sometimes its wrong, most times its right, cross checking is fairly easy, not using it because of the possibility its wrong seems a baby with the bath water thing.
I learnt a lot of functional programming from it, stuff I've always wanted to learn, but just didn't have the time and really the sources can be difficult, it really explained things well, and as someone else said in this thread, you can ask questions over and over until you understand, asking a person that (if you can get an expert) would drive them nuts. Maybe my experience isn't typical, its hard to tell, everyone reports something different.
> The state needs to use AI to make bureaucracy instantaneous
The stuff of many sci fi tropes - it seldom ends well.
A bit OT but there's a character in a couple of frank Herbert books - Jorj X Mckie saboteur extraordinary in the Bureau of Sabotage (BuSab). BuSab is a government agency responsible for conducting dirty tricks "in lieu of red tape" to help slow down and regulate the vast galaxy-spanning bureaucracy.
reply