SkySkimmer

6 ms·

31.
by SkySkimmer 5y ago
Yes, for instance https://animalcharityevaluators.org/charity-review/the-human... > The results from several studies suggest higher levels of mortality in cage-free systems compared to battery cages and there is rea
32.
(OCaml) Migrating to floatarray: experience report(lexifi.com)
2 points by SkySkimmer 5y ago|0 comments
33.
by SkySkimmer 6y ago
Isn't it a pattern from "nonviolent communication"? https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
34.
by SkySkimmer 6y ago
>After enough runs, Vigil promises that all remaining code meets its oaths. Good thing that's only a promise and not an oath. In the scenario where we have `f` and `g`, `f` calling `g` incorrectly and `g` violating its own oaths. Vi
35.
by SkySkimmer 6y ago
I'm someone else but I get https://gitlab.freedesktop.org/drm/amd/-/issues/883 on a T495s with debian testing
36.
by SkySkimmer 6y ago
This seems to depend on the country, for instance https://medium.com/@joelleparenteau/why-uber-eats-is-a-neces... in Canada have higher prices on uber.
37.
by SkySkimmer 6y ago
If you block the domain in umatrix it basically does that. For instance techcrunch redirects me to some "guce.advertising.com" url and umatrix blocks it https://imgur.com/bxGAbiH
38.
by SkySkimmer 7y ago
It seems to be IP based, with my VPN set to a US server no redirects, but on European servers I always get redirects (also with no VPN, and I'm French)
39.
by SkySkimmer 7y ago
I always use triple tilde instead, ie ~~~language code ~~~ is the same as ```language code ``` (at least on github) Depending on your keyboard it might be easier to type.
40.
by SkySkimmer 7y ago
>Even though it is known for its robustness and its large standard library I thought the ocaml stdlib was relatively small though?
41.
by SkySkimmer 7y ago
You need to "swipe", on my laptop this means drag-and-drop the image a little in the opposite direction from where you want to go. There is a 1-2s delay after releasing for it to work. Pretty bad UI tbh but there are only 4 nodes
42.
by SkySkimmer 7y ago
The normalization issue is not about quotients at all. It's https://arxiv.org/abs/1911.08174 "Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality"