redrobein

It's a lot easier to write and customize tuis. And it works over ssh. The appeal is probably that it's good, performant, functioning software. As a counterpoint what's the appeal of sublime over vim? What is the gui providing that I don't already have?

Man, what I really want 2000s IRC back.

As good as I remember Orkut being, I feel like something fundamental has changed about people, socializing and the internet, to the point where we can't have the kinds of online social spaces we had back then anymore. I don't think it's primarily an AI problem, although it is aggravating it considerably in recent times. Will be interesting to see what they come up with, but I don't have big hopes for whatever it is.

This is needless fearmongering. F* looks a lot like F# code with semantics you should be familiar with if you've worked with other proof oriented languages. The website design is dated is all. The book gives exactly what the OP wants in the introductory chapter.

I'm curious, why isn't the the free version of the game on steam? It'd be a lot easier to get my friends to try it, and setup parties if it used steam friends.

While I agree that it isn't revolutionary that it could implement this from a single prompt, what's surprising to see is how well done this one is compared to the other tries. The controls and movement are smooth, the animations aren't jittery, the ui makes sense, there's a clear progression in difficulty. This model clearly "understands" the implementation of this game far better than the others did.

Does anyone know what's up with ocaml on windows? I haven't used it in a while. Trying to install utop on 5.x compiler and quite a few packages need a downgrade to 4.x? I've tried with both mingw and system-msvc. Same behavior.

It's alright as a dropin sqlite replacement. I ran into a bunch of problems with libsql on windows a year or two ago when I tried it but I'd assume it's fixed now. They also offer turso db as service with a very generous free plan which was my main reason to try it.

What do you mean? It has to mirror the behavior of the hardware pretty closely otherwise... well... the games don't run.

F# is a good language, but I feel like it's forever stuck in C#'s shadow. A lot of the library code is C# and .NET handmedowns. Not interfaces or libraries crafted with F# in mind, often having no explicit documentation for use with F# either.

was LeanB4

Are there any plans to add syntax sugar for interacting with vtables?

People really need to stop making analogies and saying what things really are.

After effects is usually used for compositing and also supports some vfx, but isn't meant for realtime use. This would be similar to vvvv or touchdesigner, used for audio reactive visuals (VJing), interactive art exhibits, etc.