privethedge

7 ms·

1.
by privethedge 6y ago
I'm alone and don't feel bad at all. Actually, I prefer to be alone. There are so many interesting things to do, so many interesting books to read, etc, I don't understand how someone can be bored. It's really strange to
2.
by privethedge 6y ago
For those who really want to blow their mind, I suggest learning Coq instead https://softwarefoundations.cis.upenn.edu/
3.
by privethedge 7y ago
This is great and I love Rust, but > However, when working directly with the hardware, which has no knowledge of Rust’s guarantees, it is necessary to work in Rust’s unsafe mode, which allows some additional behaviors, but requires the d
4.
by privethedge 7y ago
There are also union types. And sum types can be implemented in terms of union types: https://waleedkhan.name/blog/union-vs-sum-types/
5.
by privethedge 7y ago
What if there is another application (or e.g. a stored procedure) that uses this DB table so you cannot control all saving operations from your application?
6.
by privethedge 7y ago
> Sure, I didn’t say it does. Sorry, I implied it from your "foo" example. > two phases So maybe we need to change the mantra to “parse, and validate as little as possible”?
7.
by privethedge 7y ago
> head :: [a] -> a > This function returns the first element from a list. Is it possible to implement? But the type itself doesn't say that it must return the first element. > If you see why parseNonEmpty is preferable, you
8.
by privethedge 7y ago
Then why do I have the following results? const a = [...Array(1000000).keys()]; const m = 8; let leftAvg = .0; for(let _ of Array(m)) { const t0 = performance.now(); a.map(Math.tan).map(Math.sin); c
9.
by privethedge 7y ago
Then it is 8Gb of pointers. I doubt it's practical to worry about such extreme cases.
10.
by privethedge 7y ago
> a.map(g).map(f) ≣ a.map(x => f(g(x))) > But the one on the left will be slower and use a lot more memory. Is it really true? I mean, GC will clean the intermediate array, won't it? And the speed won't be significantly s
11.
by privethedge 7y ago
> If you're in Safari or Edge, this might still look ok! If you're in Firefox or Chrome, it looks awful, like this: https://gankra.github.io/blah/text-hates-you/transparent-cur... It doesn't look
12.
by privethedge 7y ago
There was Liskell, but it seems it's dead. https://wiki.haskell.org/Haskell_Lisp
13.
by privethedge 7y ago
> Purity and side-effect isolation This can be solved in many ways [1][2] and I don't think haskell's approach is the one that can be imported. [1]: https://www.microsoft.com/en-us/research/wp-content&
14.
by privethedge 7y ago
I mostly use Console, Network and Inspector tabs and I rarely debug (in general.) Especially Network tab in Firefox's dev tools is much superior to Chrome's one, IMHO.
15.
by privethedge 7y ago
Can I say please that it's very annoying that Chrome (and everything Blink based) doesn't let you to open a file in an application you can choose and see the size of the file before downloading it? https://www.ghacks.ne
16.
by privethedge 7y ago
I personally prefer firefox's dev tools to chrome's ones.
17.
by privethedge 7y ago
https://en.wikipedia.org/wiki/SoftEther_VPN > Firewalls performing deep packet inspection are unable to detect SoftEther's VPN transport packets as a VPN tunnel because HTTPS is used to camouflage the connectio
18.
by privethedge 7y ago
https://www.nytimes.com/2019/07/07/world/europe/kosciusko-be... > “Belarus did not even exist when he was born,” said Veslav Wychodzki, a retiree from Poland who traveled to Kosava recently to pa
19.
by privethedge 9y ago
I doubt that you doubt it.
20.
by privethedge 9y ago
Scepticism.