rq1

8 ms·

61.
by rq1 3y ago
There can be several motivations. Would it be more interesting to present these with the Gelfand triple instance? Does it have “more” to say than the initial raw definition? The concept can be used in different contexts and that’s what make
62.
by rq1 3y ago
s/Curry-Haskell/Curry-Howard/g
63.
by rq1 3y ago
It’s not only a notational shortcut as in syntactic sugar though. It can apply a set of rewrite rules given you were able to construct the right type at some point. It’s type inference on steroids because you can brute force the solution by
64.
by rq1 3y ago
Some compilers can accept “holes” that can be univocally deducted from context for instance. You can think about it as type inference on steroids.
65.
by rq1 3y ago
Well I think we should stop discussing at the passive agressive thing.
66.
by rq1 3y ago
I take it broadly as nothing was clearly defined. :)
67.
by rq1 3y ago
And yet I didn’t miss it. I insist. You need more rigour to prove let’s say Beppo Levy theorem than writing a moderately complex piece of software. Yet you can write it in crappy English, the medium not being the target goal, the ideation p
68.
by rq1 3y ago
I didn’t miss his point. He’s plain wrong. > Programming requires a lot more formal rigor than mathematical proof writing. This is is just wrong? Syntax rigour has almost nothing to do with correctness.
69.
by rq1 3y ago
This is ridiculous. The average computer scientist (not only "programmer", as a js dev would be) never wrote lean/coq or similar, and is not aware of the Curry-Haskell like theorems and their implications.
70.
by rq1 3y ago
Why should it buy you something is the real question. You don't need to understand it the way the "initial" author thought about it, should that person had given it more thoughts... History of maths is really interesting but
71.
by rq1 3y ago
inf sup is a decreasing function. Cheers!
72.
by rq1 3y ago
> "we did pen testing when we launched, but haven't done it since". Well… was it before you joined the company? You tell them in that case that was before your time and you quote your boss. I’m not sure why you replied no
73.
by rq1 3y ago
I decided to almost only use websites with adblocker and never install apps, for that reason.
74.
by rq1 3y ago
There’s this https://github.com/tweag/nickel Coupled with https://github.com/nickel-lang/organist I’m not sure how immature it is though.
75.
by rq1 3y ago
Better tooling, simpler interfaces, better error reporting, validation… etc.
76.
by rq1 3y ago
https://perso.lpsm.paris/~mazliak/Lebesgue_1901.pdf 4 pages*
77.
by rq1 3y ago
Lebesgue integration is rather simple. You should read the article-correspondence between Lebesgue and Picard. The “entire” construction literally fits on two pages. It’s pure genius.
78.
by rq1 3y ago
https://proceedings.neurips.cc/paper_files/paper/2018/file/9... For the relationship between concentration of the measure and this: the main theorems of concentration generalise the CLT beyond the additi
79.
by rq1 3y ago
Isoperimetric inequalities are fundamental IMHO. They bridge the gap between theory and practice for eg. resp. the behavior of the Lipschitz constants and batch normalization.
80.
by rq1 3y ago
I do not disagree but there’s one thing that should be considered right now : methane pockets in (melting) glaciers. The phenomenon is “exponential” (or the first part of a sigmoid) precisely because of this chain reaction. CO2 can be reca
81.
by rq1 3y ago
Methane is 50x more potent at warming compared to CO2. Methane emissions reduction should be considered the top priority despite representing only 20% of the total anthropogenic GHG.
82.
by rq1 3y ago
Well, not necessarily. There’s a `follows` argument to pin through the different dependencies. It’s not ideal but it’s there.
83.
Pervasive within-species spatial repulsion among adult tropical trees(science.org)
1 points by rq1 3y ago|0 comments
84.
by rq1 3y ago
Who is Science?
85.
by rq1 3y ago
In Machiavelli's The Prince, he gives an advice on how to extinguish a rebellion in a province while making a point and example for the other provinces. He advices the Prince to secretly send a general there and execute everyone in som
86.
by rq1 3y ago
As the general sent to butcher a region and then was executed for doing what he was actually asked for. His fate was obvious from he beginning but he went there with such impediment that's quite strange he's stil' breathing.
87.
by rq1 3y ago
The Prince.
88.
by rq1 3y ago
Even the US wouldn't allow it... Imagine this idiot with the nuclear button.
89.
Community-Based Investigation of Cosmic Radiation(muonpi.org)
2 points by rq1 3y ago|0 comments
90.
An Introduction to Multilevel Monte Carlo Methods [pdf](eta.impa.br)
3 points by rq1 3y ago|0 comments

More ›