mbid

14 ms·

91.
by mbid 9y ago
What does that have to do with every function being analytic? Anyway, you can solve every cubic polynomial in the algebraic closure of Q, which is far less than C, so you don't need to construct the complex numbers for that.
92.
by mbid 9y ago
You realize there are parts of the world where English is not the main language?
93.
by mbid 9y ago
A decentralized currency brought to you by Moxie "Signal doesn't federate or allow third-party clients" Marlinspike. OK.
94.
by mbid 9y ago
Website is essentially plain html with firefox tracking protection. Nice.
95.
by mbid 9y ago
Actually, it's 0.23 / 1.23 ~= 18.7% of the remaining 55%.
96.
by mbid 9y ago
This is not (just) for fun: "But things have changed since then, as a group at UPenn (mostly Antal Spector-Zabusky, Stephanie Weirich and myself) has created hs-to-coq: a translator from Haskell to the theorem prover Coq." I agree
97.
by mbid 9y ago
Well, I assume this is at least partially funded by the public. Most side projects are not. While I appreciate that the engineering that went into this is non-trivial, I fail to see the scientific relevance.
98.
by mbid 9y ago
Well you can't use this approach to verify haskell code if you don't know coq.
99.
by mbid 9y ago
I don't think a spam filter would be the first thing you'd prove correct if you wanted to go down that road..
100.
by mbid 9y ago
I have trouble understanding the usefulness of this. Haskell is barely used in the first place, and even less for highly safety critical software. It's also not clear to me why I would use this over writing the program in the construct
101.
by mbid 9y ago
I would simply not define "prime" or "composite" for 1, yes. If you check abstract algebra books (or wikipedia [1]), you'll usually find definitions along the lines of "a non-invertible, non-zero element is pri
102.
by mbid 9y ago
The two definitions of primality given in the beginning of the article are not equivalent -- one rules out 1, the other one doesn't.
103.
by mbid 9y ago
What about the philosopher's stone? Surely with enough research in alchemy and Elon Musk's support, we could tweak it so that we can conjure all metals from thin air. Dude.
104.
by mbid 9y ago
Simple -- just clean the database from time to time [1]. BTW, I like how the banner on the bottom of [1] wants me to "Try GitLab Enterprise Edition risk-free for 30 days." currently. [1] https://about.gitlab.com/20
105.
by mbid 9y ago
So most people in China seem to have come to the conclusion that the status quo of having filtered access to the internet of the Western world is preferable to actively fighting the regime that implements these filters (which comes with sig
106.
by mbid 9y ago
"Research".
107.
by mbid 9y ago
People think of type theory as "internal language" of categories with certain properties (e.g. simply typed typed type theory for cartesian closed categories). A formal way to say this is that the syntax of type theory gives rise
108.
by mbid 9y ago
I use the second edition of the Chromebook Pixel (i.e. from 2015) as my main machine. I've shrunk the chromeos partition and run Arch on it. At first, the mainline kernel barely supported the device. Touchpad and sound didn't work
109.
by mbid 9y ago
Wait, but the Signal Server does not need to store the contact graph, it stores only (some of) its vertices. Moxie wants to make it hard for somebody to learn about the edges from the way clients ask whether a vertex is in signal's sub
110.
by mbid 9y ago
main = traverse_ putStrLn $ Compose $ fizzbuzz <$> [1..100]
111.
by mbid 9y ago
You See Sneakers, I See Tulips.
112.
by mbid 9y ago
Firefox mobile supports extensions.
113.
by mbid 9y ago
Not an i3 user, but xmonad should be close enough. I'm using termite nowadays. It's configured by editing a plain text file in your editor of choice (as opposed to a GUI), it does not have buttons that take away space, and the vim
114.
by mbid 9y ago
As others have pointed out, the use case for pasting plain text passwords is not quite clear. Maybe it would be a good idea to allow searching for hashes only, or at least hash the password in js on the client. Also, I'm genuinely curi
115.
by mbid 9y ago
Well, yeah, but wouldn't you agree this is a sad state? Also, C as a "portable assembler" kind of make sense as a lingua franka, because every language has to go through assembler before being executed at some point.
116.
by mbid 9y ago
Is Flutter tied to Dart, or are there good C bindings so I can use whatever language I want? I've never understood the obsession with creating a whole language around a library (R, Matlab, Magma, Javascript, Wolfram...) so that I'
117.
by mbid 9y ago
> Towards a Better Notation for Mathematics for Engineers
118.
by mbid 9y ago
I doubt the effect of denomination would be very big, so not taking into account much stronger factors (e.g. West vs East), this map doesn't say anything.
119.
by mbid 9y ago
So you're saying it this is not an example against inheritance tax because the family could've used loopholes in the legislation to circumvent paying the tax?
120.
by mbid 9y ago
In Baden-Württemberg (the South Western state), 37% are catholic and 33% are part of the official evangelical church, with likely a few in smaller protestant groups. Likewise for franconia, which is mostly within the state of Bavaria.

More ›