ux266478

19 ms·

331.
by ux266478 7mo ago
You're right it's primarily a runtime + compiler + language issue. I really don't understand why people tried to force functional programming in environments without decent algebraic reasoning mechanisms. Modern graph reducer
332.
by ux266478 7mo ago
> I propose a new kind of type inference algorithm that always prioritises the type unifications the end-user is most likely to care about, independent from the types order in source code. > If we could instead unify types in the orde
333.
by ux266478 7mo ago
> With LISPy language there is almost zero syntax To be pedantic, this isn't quite correct. Syntax isn't countable like that. What S-expressions are light on is production rules. At their most basic they have IIRC 7 production
334.
by ux266478 7mo ago
A bit of an aside: I wonder how much array-oriented languages like APL and J would benefit from being implemented on top of an interaction net machine?
335.
by ux266478 7mo ago
Yeah. Computing freedom to have a root shell and do as I please is the entire reason I put up with Android. Google is positioning Android to just be nothing more than a worse iOS. There's pretty much no point to it anymore.
336.
by ux266478 7mo ago
> And not only for performance but also for thread safety This is already built-in to the language as a facet of the affine type system. I'm curious as to how familiar you actually are with Rust? > Rust is just less powerful. On
337.
by ux266478 7mo ago
Rigor was never vital to mathematics. ZFC was explicitly pushed as the foundation for mathematics because Type Theory was too rigorous and demanding. I think that mathematicians are coming around to TT is a bit of funny irony lost on many.
338.
by ux266478 7mo ago
> The only area I think Windows may be better is the graphical user interface. Nah. You're right about Gnome and KDE, but Windows is even worse because you can't exactly escape away from microsoft's insane labyrinth or awf
339.
by ux266478 7mo ago
> I also really don't like the idea of the government regulating how apps are designed I agree with this whole heartedly, but the government works on mass-scale patterns. It's essentially their entire job to regulate such thing
340.
by ux266478 7mo ago
We must continue this chain until we reach unstoppable sapient topological "aberrations" in space-time with reversed arrows of time.
341.
by ux266478 7mo ago
Why do you think that?
342.
by ux266478 7mo ago
China's foreign policy has been rooted in non-interventionism since the time of Jiang. The only thing happening is Disneyland is belief that this is going to change because gas prices spiked above 10RMB/L
343.
by ux266478 7mo ago
I think this is a poetic encapsulation of the AI industry at this point. A beautifully poignant vignette.
344.
by ux266478 7mo ago
> Today the options are either free and open source (which can be extremely high quality, like Jolt: https://github.com/jrouwe/JoltPhysics ) I did mention this was changing in particular with physics engines. That be
345.
by ux266478 7mo ago
https://www.mobygames.com/group/9867/middleware-recast/ It's not a terribly long list, it seems, even if it's non-exhaustive. > I see the industry is of full double standards Absolutely, and that
346.
by ux266478 7mo ago
It's also industry standard to do so. I don't think I've ever seen a team outsource something like pathfinding. Maybe in the Unity/Unreal space, which I'm very unfamiliar with. Dependencies are generally speaking no
347.
by ux266478 7mo ago
One has to wonder what the annual bill of licensing costs looks like.
348.
by ux266478 7mo ago
> The continental philosophy world of words with Kant Interestingly, a lot of arguments and formulations Kant had were lifted from Leibniz and reframed with a less mathematical flavor. I remember in particular his argument against infini
349.
by ux266478 7mo ago
VRChat seems like it's doing perfectly fine. It's more like this concept is more niche than anyone seems willing to admit.
350.
by ux266478 7mo ago
I mean, I literally opened my post talking about how it's the structure of your system, as in the components you choose to make up your desktop. The kernel is ultimately irrelevant, that's the point, I'm not sure how you mana
351.
by ux266478 7mo ago
I'm the inbetween. I stuck with it for a couple of months, but ended up dropping it. It's just too slow and incurs a massive complexity penalty that I'm not happy about. I'd rather just deal with tarball rootfses and uni
352.
by ux266478 7mo ago
> As society is more and more digitized How about this is actually the real problem? Online banking is not worth an omniscient global surveillance state, let alone the immense amount of leverage gained by this digitization.
353.
by ux266478 7mo ago
No, it has to do with how your system is set up. Without fail, someone who has his opinion about Linux is using some ungodly bloated corpse of a distro because they genuinely do not know better. Hence why they blame their system's prob
354.
by ux266478 7mo ago
And don't forget Engineers, please only generate code using models offered by Official Nvidia™ Partners running on Genuine Nvidia™ SuperPODs™.
355.
by ux266478 7mo ago
> how would you try to search for something if you are not aware of it's existence? You're asking a leading question. The verb you're using here is one specifically indicating interaction with a "platform" (a dig
356.
by ux266478 7mo ago
For the curious programmers who are wondering what it was like to program ENIAC, a simulator is available: https://www.cs.drexel.edu/~bls96/eniac/simulator.html And a programming manual: https://ieeexpl
357.
by ux266478 8mo ago
You can hold someone responsible only after they've actually fucked up. And with the way things move in the criminal justice system, that can take months to discover. Holding them responsible doesn't really fix anything, it's
358.
by ux266478 8mo ago
In vulgar American English, "Asia" mostly just refers to the wider Confuciosphere + some parts of Central Asia (though rarely thought about.) Most Americans will look at you funny if you call Pakistan or Jordan Asian, because that
359.
by ux266478 8mo ago
It's also worth mentioning that FreeBSD lives outside of Redhat's influence. If you find yourself lamenting the direction Linux is moving in, FreeBSD remains an attractive escape hatch. It's not perfect (rc.d is definitely no
360.
by ux266478 8mo ago
Even going to the extreme of a friendly jammer producing a countersignal is only enough to fool the bottom end of hobbyists. The only thing you can do to stop SEI to a certainty is to trash a radio after you've used it once. It's

More ›