j2kun

46 ms·

691.
by j2kun 8y ago
You do realize that most of the top-tier machine learning researchers are among the thousands protesting DoD work. There is more than enough work, money, and intellecutalism in bringing AI to medicine, safety, transportation, supply chain o
692.
by j2kun 8y ago
I've read it many times, and I suggest you read it closer. Try applying that same skeptic mindset used to defend him to the opposite perspective.
693.
by j2kun 8y ago
> to point out that men and women have different interests I was nodding until this. Even if you agree with Damore, you can't pretend his argument was "men and women simply have different interests."
694.
by j2kun 8y ago
The docs say to use tab and shift-tab
695.
by j2kun 8y ago
I'm writing a book called "A Programmer's Introduction to Mathematics". Would you like to see a draft? Shoot me an email at mathintersectprogramming@gmail.com It's an introduction to mathematics from a programmer&#x
696.
by j2kun 8y ago
Plenty of cities (Chicago, in my experience) have parallel lines 1-2 blocks apart. For the record, I take the transbay bus to work most days, and it's a similar deal (plus I can almost always get a seat). Slightly less convenient with
697.
by j2kun 8y ago
Functional programming? What he's describing is machine learning! :)
698.
by j2kun 9y ago
I have definitely used big-O as the parent described. I think many mathematicians would write it in that way.
699.
by j2kun 9y ago
Fair point. I'd add that f(x) = 7 can be both equality of functions and equality of evaluations, and binding x=2 suddenly changes the meaning of the equality and the expression.
700.
by j2kun 9y ago
Most equivalence relations eventually drop any special notation in favor of = In general, = is not rigorous. It's used as a stand-in for the word "is". Another example is when someone writes x = 1, ..., N, meant to imply x i
701.
by j2kun 9y ago
= has contextual meaning in math, why not programming? It's not like we can fool ourselves into thinking that tests for equality don't also have wildly different meaning depending on context. No operator has a universal meaning,
702.
by j2kun 9y ago
Conveying intuition is about way more than using graphics. It's about storytelling. I've seen people focus on graphics and fail in a hundred ways, while overwhelming theoretical works shine due to the focus on the narrative.
703.
by j2kun 9y ago
1. Just because we have not thought of something more abstract does not mean category theory is the "ultimate" abstraction that cannot be surpassed. You would have said the same thing about sets before category theory was invented
704.
by j2kun 9y ago
> eventually you realize this is the ultimate abstraction (category theory), and it cannot go more abstract than that This is exactly the kind of false sense of intellectual superiority to avoid. Mathematicians and category theorists don
705.
by j2kun 9y ago
My first few years of programming were all in Java/Eclipse, and I had an irrational fear of the java/javac CLI compile & run commands. I was completely incapable of modifying build and run scripts (which were customized by one
706.
by j2kun 9y ago
It's literally the first link in the first words of the first sentence of the article. And in this case you'd miss the commentary by experts in the field who were not on the paper, including Mason Porter, Steve Strogatz, and other
707.
by j2kun 9y ago
I visited, but did not write any code. There's an overarching system that loosely couples everything together. E.g., the system provides drawing/sound primitives, controls how different pieces interact according to a fixed set of
708.
by j2kun 9y ago
I am writing a book that I hope can serve such a purpose. Would you be interested in taking a look? If so, shoot me an email at mathintersectprogramming@gmail.com Fair warning, I have shown it to a programmer who claimed some level of &quot
709.
by j2kun 9y ago
Indexing the entire web isn't instantaneous, you know.
710.
by j2kun 9y ago
What makes it effective satire is it takes legitimate interpretations "The good guys in this story tend to shoot themselves in the feet and normal people get killed in the process," and stretches it to ridiculousness to highlight
711.
by j2kun 9y ago
I understand and appreciate the analogy the author made. I wish more people thought about code complexity from first principles. That being said, I doubt chromatic number is the right measure for software dependency graphs. Especially when
712.
by j2kun 9y ago
This looks pretty, but I've never personally had trouble with `pip freeze > requirements.txt` What benefits does pipenv have beyond storing the hashes as well? In what way is it more sane? For example, does it get around the issues
713.
by j2kun 9y ago
Of course you can't ignore details. I was explaining the source of emotions, which tend to drive whether one wants to adopt a particular tool or method. That being said, I often find convincing, false proofs as illuminating as true pro
714.
by j2kun 9y ago
It's because a good proof conveys human-level insight first and foremost, and the details are often mental baggage that can be sorted out later. Proof assistants are the opposite. Sacrifice intuition and insight for the sake of correct
715.
by j2kun 9y ago
NP hardness is not about every instance being hard. It's a worst case notion. The paper provides an infinite family of instances which are hard assuming P is not NP. Any poly time algorithm solving for all instances has to solve those
716.
by j2kun 9y ago
IIRC the paper referred to was updated at some point to accommodate for this, and I think it's a relatively trivial change.
717.
by j2kun 9y ago
I don't think this distinction is key. You're talking about a detail of the Metropolis-Hastings algorithm, while I'm defining a problem that Metropolis-Hastings is one of many algorithms to solve. Sure, Metropolis-Hastings mi
718.
by j2kun 9y ago
I'm sorry but I can't make any sense of what you've written.
719.
by j2kun 9y ago
I humbly submit my article as an alternative. I clearly explain why there is no alternative, and give a concrete description of the markov chain. Though after the initial description of what problem MCMC is solving, I do dip into the math.
720.
by j2kun 9y ago
And that's my point: if you spend 80% of your time working on a title, you won't have spent nearly enough time on the content for it to be worth reading.

More ›