thesz

34 ms·

661.
by thesz 4y ago
It cannot. Arbitrary side effects allowed by strict-by-default language without types constraining these ruin easeness of software development provided by Haskell. When your Haskell program works and walks, add bangs and it will run. Lately
662.
by thesz 4y ago
If you disable lazy evaluation, you would not be able to write arbitrary "where" sections, with definitions ordered as you want them, including tying-the-knot definitions, which are not exceptionally rare. So no one disables lazy
663.
by thesz 4y ago
Exactly because it is so. You have to compute as little as possible and make it O(1) for a row added and deleted, not O(window_size).
664.
by thesz 4y ago
For software quality to have bell curve distribution, you have to define negative software quality first and then proceed to define inifinite qualities also. Otherwise it is either one-sided distribution (when there is no negative quality)
665.
by thesz 4y ago
Why author did not used geometric algebra? The curl(u) operator, which confines vectors and vector fields to R^3, is an outer product of nabla with u [1, page 9] in geometric algebra. And as such it is defined for arbitrary number of dimens
666.
by thesz 4y ago
Tcl was born three years earlier. The AOLServer, which was heavily multithreaded and based on Tcl, was developed in 1995: https://en.wikipedia.org/wiki/AOLserver You also can easily guess who of these two get i18n righ
667.
by thesz 4y ago
https://pubmed.ncbi.nlm.nih.gov/21957440/ Toxoplasma affects dopamine metabolism - body starts to produce more of it. Dopamine is also released with alcohol intake, notice that alcohol also makes everyone more confiden
668.
by thesz 4y ago
What you describe there is use of interfaces and properties. These things are much easier to reason about and to compose than classes with inheritance. For example, it is easy to solve Expression Problem [1] with interfaces and properties a
669.
by thesz 4y ago
"Capable of being retained both..." is not a definition, it is a property, at best.
670.
by thesz 4y ago
I find classes extremely unintuitive. I find type classes and (generalized) algebraic data types to be extremely intuitive.
671.
by thesz 4y ago
Define "ease of reasoning," then you can accuse others of "straw man" attack. OOP does not even consider effects in it's reasoning. You can do anything with the state of an object and whatever that object can reach
672.
by thesz 4y ago
Exactly. You can solve any problem by throwing more money (millions of developers). The money is the largest factor in the success or failure of the product of... yours? When something is constantly true for all objects in the scope of the
673.
by thesz 4y ago
>The people who did this will mess up FP or any other paradigm too. The people who did this will not mess up FP or any other paradigm. I have an example of that somewhere in my career, with Haskell. But it is "he said she said"
674.
by thesz 4y ago
Millions of developers also use functional programming, for decades now. Even bigger order of magnitude of developers use relational languages to build systems of various scale. Indirectly, even more millions of developers use constraint pr
675.
by thesz 4y ago
Please, define "reasonably". Because these people who created hilariously Finnish ThingDoerFactoryFacadeFactoryInstaniatorService also thought they do a reasonably reasonable job. Per your comment on "use classes for data mod
676.
by thesz 4y ago
Thermal decomposition can be incomplete, and it appears to be the case. Also, thermal decomposition is different from burning. And HCl is already an acid, most probably you meant a water solution of HCl.
677.
by thesz 4y ago
Cartesian product: https://en.wikipedia.org/wiki/Cartesian_product The number of variants of the AnIntPair construction is the number of distinct elements in the Int type, squared. I used definition of algebraic data t
678.
by thesz 4y ago
It is the other way around: enumerations are special cases of algebraic data types with no values attached. In algebraic data types we have a sum (union) of a labeled cartesian products, and each product may have arbitrary number of values:
679.
by thesz 4y ago
The same is true for monoliths, like Linux kernel. You definitely can decouple teams to enable them to move independently in their software development lifecycles with monoliths too. Our team definitely do that. And in realm of programming
680.
by thesz 4y ago
I vehemently disagree. It is really about state, dispatch is an implementation detail and can be simulated in many languages. The main difference between monoliths and microservices is in coherent and, if possible, atomic changes in state
681.
by thesz 4y ago
https://github.com/microsoft/WSL/issues/2395 This is still a problem with WSL2, at least on my WSL2 with Windows file system mappings. I tried to use instructions that use fossil from the hctree page: https:
682.
by thesz 4y ago
Yes, the file system appears to be Windows one. I remember no questions being asked when I set up WSL2. I really doubt that WSL2 will be at native speed with the Linux file system, because reads and writes still have to go through Windows k
683.
by thesz 4y ago
WSL2 is not blazingly fast. I use Haskell for my ever continuing self-education and compiling and linking times with ghc under WSL2 is at least twice as slow as the same operations under native Linux on a much less capable machine. It is no
684.
by thesz 4y ago
One can have types for lists as if they are constructed for code and for data. If type is valid for code, you can use it as code. If type is valid for data, you can use it as data. There should be no holes, but non-determinism.
685.
by thesz 4y ago
Some SQL engines support generating and evaluating queries. I stumbled upon a function in MariaDB code base that is introduced and keps specifically for that use case (it returns properly quoted SQL value as a string, including "NULL&q
686.
by thesz 4y ago
Orchestration and data movement can be expressed with SQL. Assign shards however you need, run queries. I am working on the (parallel, distributed) SQL engine and you can't even fathom how often I see SQL queries disguised-as/hand
687.
by thesz 4y ago
I think that Stalker (the movie) [1] does not feature more than 3 people in a scene. [1] https://en.wikipedia.org/wiki/Stalker_(1979_film) Is it empty? Is it cheap?
688.
by thesz 4y ago
Obligatory: https://www.sqlite.org/fasterthanfs.html "SQLite reads and writes small blobs (for example, thumbnail images) 35% faster¹ than the same blobs can be read from or written to individual files on disk using fr
689.
by thesz 4y ago
I started to notice somewhat similar earlier in my life, around being 37 years old. I am 51 years old now. I have an advice: walk daily as much as you can, but no more than two hours, ruminating what is bothering and/or factinates you
690.
by thesz 4y ago
Here's an implementation of Schnorr's algorithm with an attempt to estimate the amount of work needed to factorize big numbers: https://github.com/lducas/SchnorrGate It also contains some links to critique of

More ›