I think I would just need one. We’d have to work in opposing shifts to get my billion Euro idea out the door in a more reasonable time frame than the one I have currently been working in.

I think you’re probably just a dickhead.

In my case, whether I’m wrong or not, they actively discourage me from using my brain.

I’m an intellectually overqualified filmmaker surrounded by anti-intellectuals (I routinely get made fun of for being interested in technical stuff)…and right now, I am on workman’s comp with a broken foot. So: exactly what I am doing right now is exactly what I would want to be doing.

What’s that?
Hanging out with my daughter in my lab,

Learning

• Haskell/Plutus
• Purescript
• using Nix to glue them together
• hacking an espresso machine (either with a RISC_V Lychee Pi or an ESP32…haven’t decided yet).

Practicing:

• guitar

Blazing:

• chronic

In my experience, Voyager is still pretty buggy too. For example, try editing a post then go to do anything else after the fact. I always have to restart the whole app when I go to edit a post I made. They have a ton more features than anyone else but there are still tons of bugs.

react native is another layer and lags behind the dev of swift by at least a year. This is a huge problem for new api’s like SwiftUI, in my experience. Ps. Native is ALWAYS better than an approximation of native.

Yes. Case in point: there are at least 10 Lemmy iOS apps. I’ll give you ten guesses on which ones are actually native Swift…

There are a quite a few Android apps in progress too. How many are written in Kotlin?

Mlem is my favorite too but they have a long way to go to catch up to Memmy for most of the functionality. It feels very solid compared to Memmy, though.

Yes. What a strange question…as if hivemind fads are somehow relevant to the merits of a technology.

There are plenty of useful, novel applications for AI just like there are PLENTY of useful, novel applications for crypto. Just because the hivemind has turned to a new fad in technology doesn’t mean that actual, intelligent people just stop using these novel technologies. There are legitimate use-cases for both AI and crypto. Degenerate gamblers and Do Kwan/SBF just caused a pendulum swing on crypto…nothing changed about the technology. It’s just that the public has had their opinions shifted temporarily.

NixOS

https://en.wikipedia.org/wiki/Spaghettification?wprov=sfti1

That’s just like your opinion, man.

I disagree.

IMO, we should be using Nix and OCI.

Which leads me to ask: why are we still using Docker images as a MAJOR part of our infrastructure when superior alternatives exist? The Docker aspect made me realize how hacked together the codebase actually is.

This amazing interview with Philip Wadler dances around this very topic quite eloquently.

Here’s the conclusion of the paper Wadler is referring to in this interview:

Proposition as Types informs our view of the universality of certain programming languages. The Pioneer spaceship contains a plaque designed to communicate with aliens, if any should ever intercept it (see Figure 9). They may find some parts of it easier to interpret than others. A radial diagram shows the distance of fourteen pulsars and the centre of the galaxy from Sol. Aliens are likely to determine that the length of each line is proportional to the distances to each body. Another diagram shows humans in front of a silhouette of Pioneer. If Star Trek gives an accurate conception of alien species, they may respond “They look just like us, except they lack pubic hair.” However, if the aliens’s perceptual system differs greatly from our own, they may be unable to decipher these squiggles. What would happen if we tried to communicate with aliens by transmitting a computer program? In the movie Independence Day, the heroes destroy the invading alien mother ship by infecting it with a computer virus. Close inspection of the transmitted program shows it contains curly braces—it is written in a dialect of C! It is unlikely that alien species would program in C, and unclear that aliens could decipher a program written in C if presented with one. What about lambda calculus? Propositions as Types tell us that lambda calculus is isomorphic to natural deduction. It seems difficult to conceive of alien beings that do not know the fundamentals of logic, and we might expect the problem of deciphering a program written in lambda calculus to be closer to the problem of understanding the radial diagram of pulsars than that of understanding the image of a man and a woman on the Pioneer plaque. We might be tempted to conclude that lambda calculus is universal, but first let’s ponder the suitability of the word ‘universal’. These days the multiple worlds interpretation of quantum physics is widely accepted. Scientists imagine that in different universes one might encounter different fundamental constants, such as the strength of gravity or the Planck constant. But easy as it may be to imagine a universe where gravity differs, it is difficult to conceive of a universe where fundamental rules of logic fail to apply. Natural deduction, and hence lambda calculus, should not only be known by aliens throughout our universe, but also throughout others. So we may conclude it would be a mistake to characterise lambda calculus as a universal language, because calling it universal would be too limiting.

NixOS!