redrobein

5 ms·

1.
by redrobein 2mo ago
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 i
2.
by redrobein 3mo ago
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.
3.
by redrobein 3mo ago
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 a
4.
by redrobein 3mo ago
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 behavio
5.
by redrobein 4mo ago
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 verbose and shorter to read. If you've
6.
by redrobein 4mo ago
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
7.
by redrobein 5mo ago
What do you mean? It has to mirror the behavior of the hardware pretty closely otherwise... well... the games don't run.
8.
by redrobein 5mo ago
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 wi
9.
by redrobein 5mo ago
was LeanB4
10.
by redrobein 5mo ago
Are there any plans to add syntax sugar for interacting with vtables?
11.
by redrobein 6mo ago
People really need to stop making analogies and saying what things really are.
12.
by redrobein 9mo ago
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.
13.
by redrobein 2y ago
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 of staring at a line to parse it if someone uses it in a way
14.
by redrobein 2y ago
Seems like this is a paid product meant for enterprise use.
15.
by redrobein 2y ago
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 green to me, to the right I can see the gradient go to blue th
16.
by redrobein 2y ago
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 prerendered.
17.
by redrobein 2y ago
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 insane variety in controls and control surfaces, even for stan
18.
by redrobein 2y ago
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 how to achieve something. Of course there is a market b
19.
by redrobein 2y ago
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 the emulator and see how easily you can narrow it down to u
20.
by redrobein 2y ago
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 graph of random states because the mod weights themselves a
21.
by redrobein 2y ago
Wait a couple weeks until I'm done with the league before you destroy the economy.
22.
by redrobein 2y ago
Hate to quote theprimeagen on this but people have to stop mixing up readability with familiarity.
23.
by redrobein 2y ago
Cool. I went through elixirschool a couple of years ago but didn't know it had logic programming builtin.
24.
by redrobein 2y ago
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.
25.
by redrobein 2y ago
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 requirement. Would recommend people read the whole thing before
26.
by redrobein 3y ago
I'm a long time fighting game fan and recently discovered YOMI Hustle[1] a turn based fighting game. I think it works really well for teaching fighting game mechanics, strategy etc., whilst not having to worry about the execution of th
27.
by redrobein 3y ago
> I was trying to delete contents of a file and paste new content. It was nightmare for me to remember the 3 or 4 finger combination shortcuts with small and cap letters involved during the process. Vim rarely uses multi key combination
28.
by redrobein 3y ago
Any conductive material for the tube will have a similar effect. It isn't specific to copper. The moving magnet induces a current in the tube which in turn creates the magnetic field that interacts with the magnet.
29.
by redrobein 3y ago
For anyone looking for a more gentle introduction to logic and combinators, checkout Raymond Smullyan's "To Mock A Mockingbird".
30.
by redrobein 3y ago
It's pretty easy to get started. You do an easy problem with a big board. You think "maybe I can reuse some sections and cut down on the whitespace" and spend eternity optimizing it down to a neatly packed little hexagon (or

More ›