fizixer

43 ms·

391.
by fizixer 9y ago
If you agree with this, it makes it a lot easier to realize what the current purpose of human life is, i.e., to achieve biological longevity. (By 'current' I mean until we achieve this, it's not of much use to ponder the bigg
392.
by fizixer 9y ago
The ideas in the post as well as the comments are a mixed bag. Case in point, we hear a lot that people say they wish they had lived more in the now, or relaxed more instead of working all the time, or given more time to family. Well, in my
393.
by fizixer 9y ago
> 2) there is no such thing as "exposition carefully publicized so the flaw is not exploitable by malicious hackers". Just assume that black hats are as smart as white hats or smarter. You're missing the point. Not doubtin
394.
by fizixer 9y ago
I'm out of the loop but I heard it's the white hat hackers who exposed the flaw (probably they were at Google?). Is the exposition carefully publicized so the flaw is not exploitable by malicious hackers? Or does Project Zero expo
395.
by fizixer 9y ago
Not all of it goes to miners, unless it's a send/receive between individuals. If you want to do any trade with the currency, you have to put it on an exchange, and everytime you put it on (deposit) or take it off (withdraw) the e
396.
by fizixer 9y ago
How does it compare/contrast with: - Wasserman's All of Statistics? (which I haven't read/worked on) - Downey's Think Stats and Think Bayes? (which I've read in bits and pieces and have found amazing) - Any oth
397.
by fizixer 9y ago
> People don’t buy coke because of the taste only. Despite agreeing with you, I never get why people do this. I'm a big diet coke addict. But my local store has a generic clone which tastes exactly the same. I always buy the clone.
398.
by fizixer 9y ago
By structure, do you mean the architecture of the NN? Meaning number of hidden layers, nodes per layer, and their connectivity with each other and with the input and output layers?
399.
by fizixer 9y ago
Thanks, I think this is a good example of what I'm looking for. One key ingredient is the presence of a logic inference engine (and not for type inference only, as in Coq, Haskell). - If your system doesn't have a logic inference
400.
by fizixer 9y ago
> BTW, TLA+-style declarative proofs are not always better than Coq-style imperative proofs. They are certainly easier to read (the proof language was designed to be easily readable by humans), but they're sometimes harder to write,
401.
by fizixer 9y ago
Fun aside: I'd love to see the reaction of an applied-math class, like an engineering class, in which the instructor after having introduced the course, says, "let's go through some math prequisites for this class" and e
402.
by fizixer 9y ago
If what you say is true, then this is one more reason for me to learn TLA+. As I asked in a different question, is TLA+ able to do the proofs declaratively and automatically because it has an internal 'logic inference' engine?
403.
by fizixer 9y ago
Hey glad to find someone involved in metamath related project. I guess if I could simplify my discussion to one question, it would be: Does metamath or ghilbert use a logic inference engine to automate parts of a proof? The way I understand
404.
by fizixer 9y ago
So I'm wondering what is the bridge between "proof-assistant" and "automated (or partially automated) theorem prover". As someone with "journalistic" (but fairly in-depth) knowledge about these topics, my
405.
by fizixer 9y ago
I just love watching everyday what python is doing to Mathwork$, and what GNU and linux are doing to Micro$oft.
406.
by fizixer 9y ago
Meanwhile management and executive positions are teeming with not-Brilliant only-Jerks. It's the norm rather than the exception. Totally makes sense.
407.
by fizixer 9y ago
The article is about Li M ux, some Linux initiative in Munich.
408.
by fizixer 9y ago
Two points: - What he describes in the abstract is nothing new. Part of your work as an applied mathematician is to take mathematical models developed by others, e.g, in the form of systems of differential equations, and treat them as absol
409.
by fizixer 9y ago
Coming from redhat and they aren't advocating calling GNU/linux by a new name systemd/linux. What a nice surprise. Or maybe they still working on it.
410.
by fizixer 9y ago
Do you think creating a 3D universe (like that being worked on by open.ai), putting the evolvable agents in it and trying to make them evolve learning and intelligence is a good idea? I mean starting at a very primitive level, you could fir
411.
by fizixer 9y ago
So are machine learning framework developers going to stop being so subservient to CUDA and start supporting OpenCL now?
412.
by fizixer 9y ago
You can always go the eat-your-own-dog-food route: create a startup around your technical expertise. The only problem is that it ends up making you learn and practice all the people/soft skills (and more) that you were trying to avoid
413.
by fizixer 9y ago
Does it have something along the lines of building your own RDBMS from scratch? (If not, any recommendations?) edit: google search has potentially promising results, https://www.google.com/search?q=build+your+own+rdbms
414.
by fizixer 9y ago
> Applauding and regretting and whatnot are both leagues more respectful Oh, now you're favoring "respect" over "truly independent thinking"? How odd.
415.
by fizixer 9y ago
> I disagree that the title's author wasn't (self-)aware of Google being one of the think tank's sponsors; I think the author was indeed aware but somehow deluded themselves into thinking that the think tank could live up
416.
by fizixer 9y ago
Let me see, the title reads "Open Markets Applauds X" where X is a court verdict against those who're funding the think tank that produced the article. Regardless of the content of the article or the fairness of the court&#x2
417.
by fizixer 9y ago
Your example makes sense but at the same time it's something I like to call "a positive example". If you explain it to new students, they would agree with you and would think they understand material implication. But later if
418.
by fizixer 9y ago
I think I might be confusing 'material implication' with 'logical implication' (also known as entailment, or logical consequence). Because from your last sentence, I thought, if A => B is True and A => not B is Tru
419.
by fizixer 9y ago
I'm wondering what would be your take on a concrete example that I just posted here: https://news.ycombinator.com/item?id=15115319
420.
by fizixer 9y ago
A: John's office leaving time is 4:55 pm or less. B: John's travel time is 1 minute. C: John's travel time is 30 minutes or more. A is False, B is False, C is True (as given). Hence A => B is True (a ridiculous conclusion)

More ›