tutfbhuf

13 ms·

121.
by tutfbhuf 3y ago
I think this is also how it was handled in Big Bang Theory.
122.
by tutfbhuf 3y ago
This sounds like another instance of Eternal September.
123.
by tutfbhuf 3y ago
What is wrong with PureScript? It has strict evaluation and the Syntax is 99% similar to Haskell. It transpiles to JavaScript, C++, Erlang and Go. It runs easily in older browsers without wasm, and has access to huge amount of software libs
124.
by tutfbhuf 3y ago
> I'm aware the Haskell designers like category theory, and so yes, the question boils down to the degree of influence of category theory on particular language features. So, if only a segment of Haskell's language design is ba
125.
by tutfbhuf 3y ago
> describes type families as originating from three specific papers, [3], [4], [5], none of which mention category theory (nor does the much longer Haskell Wiki [6]). It seems to suggest, what is obvious to me, that not _all_ features of
126.
by tutfbhuf 3y ago
> ... but I find the casual chain of events questionable ... When I spoke to the people who actually wrote the RFCs, they said category theory had no part in their thinking. I think you missed one level of indirection in my argument. I&#
127.
by tutfbhuf 3y ago
> And when I talk to people who are actually on the front lines that try to use category theory to solve some problem, they tell me that it ended up being completely useless. I'm open to having my mind changed. I aim to provide an e
128.
by tutfbhuf 3y ago
When we talk about arrows in terms of functional programming, we really mean Hughes’ Arrows (or Freyd-categories) a generalization of monads. The term arrow represents a level of abstraction over computations, essentially modeling them as o
129.
by tutfbhuf 3y ago
Does it make sense to compile the linux kernel with -Fhardened?
130.
by tutfbhuf 3y ago
> I never feel quite at ease with sets being some universal foundation That's not a big issue nowadays since there is univalent foundations, which is based on ∞-groupoids instead of sets.
131.
by tutfbhuf 3y ago
How is 2.5 bits possible? Is it an average between 2 and 3 over all weights?
132.
by tutfbhuf 3y ago
https://madnight.github.io/imdb-series-chart/ Visualize the IMDB rating of every episode for any TV series.
133.
by tutfbhuf 3y ago
50 feet is about 15 meter 450 m/s is 1620 km/h
134.
by tutfbhuf 3y ago
If you're interested in that topic, I've just compiled a list of various category theory resources: https://github.com/madnight/awesome-category-theory
135.
by tutfbhuf 3y ago
What should one do if something works for them, but scientific evidence suggests otherwise? Tough to say. However, if you experience eye strain after prolonged computer use (as I do), consider a blue light filter glass from Amazon. I recomm
136.
by tutfbhuf 3y ago
For all that have the "feeling" that GPT4 has become worse. Please try Bing Chat in creative mode, it seems that this is using some old GPT4 March Version + Bing Search. In my opinion this is much better than the current Chat GPT4
137.
by tutfbhuf 3y ago
If I understand you correctly, you believe that "micro behavior is unpredictable", thereby suggesting that technical analysis (TA) is not possible on shorter timeframes. However, you seem to allow for some applicability of TA on l
138.
by tutfbhuf 3y ago
This question can essentially be simplified to: "Is the stock market truly random?", as randomness is defined as the absence of patterns and TA is all about patterns. Currently, the random walk hypothesis remains just that - a hyp
139.
by tutfbhuf 3y ago
This presentation is getting into the idea of "magnitude" the invariant from category theory and how it can be used in mathematical ecology, especially when we're trying to max out diversity. It's put forward as a possib
140.
by tutfbhuf 3y ago
https://beuke.org/ A personal blog about computer science topics. I write a about category theory, llms, cosmology, haskell and generic linux releated topics. Some favorites over the years: - https://beuke.org&#x
141.
by tutfbhuf 3y ago
How does it compare to install Arch linux without an installer? I remember that it took me a day or two of tinkering, when I did it for the first time (circa 2009) and I learned a lot. As of today, Arch remains my distro of choice.
142.
by tutfbhuf 3y ago
I can recommend Hetzner Storage boxes https://www.hetzner.com/storage/storage-box?country=us its quite cheap (€40.60 for 20 TB). Just order 25x BX41 Boxes with 500 TB for 1015€. They do not support S3 protocol, but hav
143.
by tutfbhuf 3y ago
A computer program can also be considered a form of constructive proof. One may be confident that the program functions as intended until a bug is discovered. This is why theorem provers have such a strong type system, which reduces the lik
144.
by tutfbhuf 4y ago
I think you're talking about AI lawyers.
145.
by tutfbhuf 4y ago
I think someone should tell dang that the HN news font is too small. If hundred of people on HN complain about the small font size (including me), then the font size should be increased IMHO.
146.
by tutfbhuf 4y ago
> I want you to act as a command line terminal. I will type actions and you will reply with what a linux system would show. I want you to only reply with the command output and nothing else. Do no write explanations. Do not perform actio
147.
Cloudflare stood up to a patent troll and won (2019)(blog.cloudflare.com)
371 points by tutfbhuf 4y ago|244 comments
148.
by tutfbhuf 5y ago
In addition to that I find it confusing that the term kernel is often implicitly defined as kernel := linux kernel, although there are many other kernels where `git bisect run` is useful.
149.
by tutfbhuf 5y ago
But then you are in the middle of a presentation (screen sharing).
150.
by tutfbhuf 5y ago
> Can any current so called quantum computers actually perform any computations faster than a classical one? To be called a quantum computer, I would expect they should ... But why? A very slow silicion based computer is still a silicon

More ›