etatoby

20 ms·

151.
by etatoby 8y ago
On top of it, most of that time was spent between 99% and 100%
152.
by etatoby 8y ago
Ohh, that screenshot brought back memories of Win 3.1 I remember developing real world apps using MS Access on Win 3.1. It was a great RAD platform, you didn't even had to know all of SQL and VB right away, you could add it bit by bit
153.
by etatoby 8y ago
The animated background is also very cool.
154.
by etatoby 8y ago
It's more likely to be such an insignificant (if annoying) detail to common people that they easily forget about it in less than a day.
155.
by etatoby 8y ago
Still, it's hard to argue that Google Chrome is a monopoly, when it's not even the default in most user OSs (the exceptions bring ChromeOS and some of the Android vendors.)
156.
by etatoby 8y ago
I'm partial to Chicken Scheme: https://www.call-cc.org/ It's a Scheme-to-C compiler (plus interpreter / repl / script runner.) The Scheme code is transformed into continuation passing style (CPS) and the
157.
by etatoby 8y ago
Ohh... that's what Equifax does! I could never figure it out from the news articles. Thanks for the link, I'll listen to it. You're right, I don't think I want to go looking into my own reports, until (if ever) I need
158.
by etatoby 8y ago
I probably phrased my suggestion wrong. Yes, it's not central to OP's enquiry. But I did find a basic understanding of CT to help a lot when reasoning about types, and that lecture series gives just that in a relatively simple way
159.
by etatoby 8y ago
I found the paper linked inside the article very interesting. It explores (one possible) meaning of negative and rational types. I'm still going through it: https://www.cs.indiana.edu/~sabry/papers/rational.pd
160.
by etatoby 8y ago
Try to write the classic Haskell Quicksort in Idris: qsort :: Ord a => [a] -> [a] qsort [] = [] qsort (p:xs) = qsort (filter (< p) xs) ++ [p] ++ qsort (filter (>= p) xs) and let me know how it goes, if you will.
161.
by etatoby 8y ago
I recommend these introductory lectures to Category Theory. I'm going through them right now. I assume you know some math/set theory and some Haskell, otherwise you may want to work though some of the chapters in Real World Haskel
162.
by etatoby 8y ago
I learned a bit of Idris on the book you link, but I gave up after trying to implement Quicksort (the classical Haskell one-liner) in Idris vectors. You need to manually write a page of theorems for Idris to accept it. It's crazy.
163.
by etatoby 8y ago
I've been using Brave on Android for some time. It's great, like a slimmed down, privacy conscious Chrome. After this latest folly from Google, I may replace Chromium with Brave on the desktop too.
164.
by etatoby 8y ago
Brave browser has been my default browser on Android. It's as fast as Chrome (if not faster) as it uses the same rendering engine Blink; has all the features you mention; has builtin Ad and privacy controls; is developed by Brendan Eic
165.
by etatoby 8y ago
Can anybody explain what this is about and what a "credit report" is? I've owned and used bank accounts and credit cards for my entire adult life, that is to say, several decades (in the EU) and I've never come across th
166.
by etatoby 8y ago
If you are working in an immutable context, meaning that you are building immutable data structures to contain immutable values, there are many useful structures that you can use. For instance, the "single linked list" or simply &
167.
by etatoby 8y ago
Thank you. The main link only shows a blank page.
168.
by etatoby 8y ago
Good Sir, props to you for including a noscript/image tag in the default code. Google Analytics didn't do it for the longest time, and in fact may still not do it. Whether on purpose or by accident (or simply by mental bias) they
169.
by etatoby 8y ago
I moved here 2.5 months ago and I'm so glad I did. It's a huge metropolis where one can comfortably live without owning a car. On top of that, it has one of the lowest crime rates among the world's big cities: https:/&#
170.
by etatoby 8y ago
In fact, I just installed it on my XUbuntu and I'm trying it out again. It's really good, all the KDE apps are well integrated and it's extremely customizable.
171.
by etatoby 8y ago
Kde 1 through 3 were excellent. There's still a fork of Kde 3 kept up to date by the Trinity project: http://www.trinitydesktop.org/ For me, I've found Xfce to be decent and modest (what Gnome, Unity, and modern K
172.
by etatoby 8y ago
Amen. The entire OS was so polished and stable. I don't think it has been surpassed yet. Maybe by OS X 10.6
173.
by etatoby 8y ago
I've been using a Truly Ergonomic for close to a decade, heavily used every day (yes, the same unit) and it still is the best keyboard I've ever used. Highly recommended. https://trulyergonomic.com/
174.
by etatoby 8y ago
> The brain needs to be constantly stimulated by changing environments and real face to face social engagement. This is so true. I have just discovered it recently. Traditional office and commute routines simply do some of this work fo
175.
by etatoby 8y ago
Ooops. Thanks
176.
by etatoby 8y ago
They are not forcing anything. In a free market you are free not to buy their product, and they should be free to offer it with the terms they like. But freedom is a scarce resource these days.
177.
by etatoby 8y ago
Sorry, I was being too brief. Basically, the equations of quantum Physics are fixed, but there are many ways to "interpret" or give meaning to them. The classical one, called Copenhagen, asserts a "wavefunction collapse"
178.
by etatoby 8y ago
No prob. Also, I'd love to read your thoughts on my longer reply above.
179.
by etatoby 8y ago
Mostly, yes. But "wavefunction collapse" is an ill-defined, non mathematical concept that will not stand the test of bigger and bigger quantum systems. See my more elaborate comment above.
180.
by etatoby 8y ago
Here's a more in-depth explanation of what I mean. When the formulas for Quantum Physics were discovered a century ago, they made little sense. You could not think of a photon or an electron, for instance, as being a "little billi

More ›