Viewing profile — redrobein

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 d…

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 …

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 …

They are far from regexes. I feel like you're equating something you don't understand to something else you find difficult. It's a language like any other. Infact it's far less ver…

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 …

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,…

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 …

I think it has to do more with familiarity than complexity. You could have a good understanding of features like the ones showcased in the blogpost, but it could take you a minute …

Seems like this is a paid product meant for enterprise use.

Interesting. Does anyone else see a band of green in their blue? My boundary is at 170. Greener than 85% of the population. This point looks like the transition between blue and gr…

Can you add a little player box and make this playable with touhou style controls. For testing purposes ofcourse. Ah. I thought the script was being compiled inbrowser. These are p…

Interesting problem to think about. The beauty of modular for me has always been that you can take voltage from literally anywhere and use it for CV. Modern modules also have an in…

I think most experienced players are already pretty optimal at crafting. There might be some rare case where it might save you a couple div at best. It's usually obvious by design …

The more I think about this the more I feel you went really overkill on this. The complexity is several orderers of magnitude lower than what you claim. Like try crafting stuff on …

I think the heuristic approach is not as bad as you think. Human crafters, and the current crafting techniques we have are pretty efficient. You don't need to explore the full grap…

Wait a couple weeks until I'm done with the league before you destroy the economy.

Hate to quote theprimeagen on this but people have to stop mixing up readability with familiarity.

Cool. I went through elixirschool a couple of years ago but didn't know it had logic programming builtin.

Would be interesting to see how much more involved it is to solve a constraint programming or optimization problem (something you'd actually use prolog for) in the other languages.…

Well the example _is_ building a brainfuck interpreter. I guess this is the perception that comes with having minimal syntax like this, but it's probably also a functional requirem…