jfarmer

10 ms·

31.
by jfarmer 4y ago
Here's a neat paper on fold by Graham Hutton: "A tutorial on the universality and expressiveness of fold" https://www.cs.nott.ac.uk/~pszgmh/fold.pdf It gives a sufficient and necessary condition for when
32.
by jfarmer 4y ago
That'd be doubly appropriate since Umberto Eco said that C.S. Peirce "is undoubtedly the greatest unpublished writer of our century." Peirce's Notion of Interpretant (1976) https://www.jstor.org/stable&#x
33.
by jfarmer 4y ago
The term "abduction" was coined by CS Peirce to describe the process that puts hypotheses on the docket to be tried by induction and deduction. Sometimes folks use it to mean something like "inference to best explanation&quot
34.
by jfarmer 4y ago
The hypergraph of life?
35.
by jfarmer 4y ago
That's fair. I didn't mean it literally, but should've been more precise since we're talking about a law. I wonder how many tech companies w/ platforms have any delay. Is there precedent?
36.
by jfarmer 4y ago
As I understand, there are different safe harbors and each applies at the "service" level. It's "online service providers" that have safe harbor status. If you lose safe harbor status you become liable for infringin
37.
by jfarmer 4y ago
Fuck the DMCA, not GitHub! AFAIK, they're legally required to take down material as soon as they receive a DMCA notice or else lose their safe harbor status. https://en.m.wikipedia.org/wiki/Notice_and_take_down
38.
Implementing a toy version of TLS 1.3(jvns.ca)
224 points by jfarmer 5y ago|48 comments
39.
His software sang the words of God. Then it went silent(inputmag.com)
6 points by jfarmer 5y ago|0 comments
40.
by jfarmer 5y ago
The complex numbers ℂ have an extra symmetry: complex conjugation. Objects which respect the full structure of ℂ have to respect this symmetry, which leads to overall nicer behavior. For example, if a complex function 𝑓 is differentiable o…
41.
by jfarmer 5y ago
Samples of the music it generates, presumably.
42.
by jfarmer 5y ago
“The great thing, then, in all education, is to make our nervous system our ally instead of our enemy. It is to fund and capitalize our acquisitions, and live at ease upon the interest of the fund.” — William James, The Principles of Psycho
43.
by jfarmer 5y ago
I think the title was meant to be wordplay: the perils of the M1 "Ownership System" and the perils of owning an M1 Mac.
44.
by jfarmer 5y ago
You might like American Pragmatism: CS Peirce, FP Ramsey, CI Lewis, William James, John Dewey, etc. Peirce's "How to Make Our Ideas Clear": https://courses.media.mit.edu/2004spring/mas966/Peirce%2018
45.
by jfarmer 6y ago
I'm trying to give the author the benefit of the doubt. The tone of the piece has a definite "buzz off, newbie, unless you're ready to go HARD CORE" tone to it. He might not realize that because he's not a native En
46.
by jfarmer 6y ago
Let's not pretend like "the diversity card" is a neutral, just-the-facts-ma'am description of what's going on. I agree with the OP's premise: https://twitter.com/jfarmer/status/1361134
47.
by jfarmer 6y ago
He would've been 23 in 1950, so that seems unlikely. Nothing from the 50s listed here: https://www.colonelboyd.com/boydswork AFAIK you first see the core concerns driven home here: https://static1.squarespac
48.
by jfarmer 6y ago
It seems like "perception, planning, control" is used for autonomous vehicles? That's all I see when I google it. Boyd outlined OODA in the 1970s, so it's "novel" in the sense that it came ~30 years earlier. Fr
49.
by jfarmer 6y ago
I think the piece is meant to be tongue-in-cheek like saying "A monad in is simply a monoid in the category of endofunctors." There's an essay by Peter Naur (the N in BNF) called Programming As Theory Building that I think
50.
by jfarmer 6y ago
Grassmann algebra and exterior algebra are synonyms.
51.
by jfarmer 6y ago
GitHub kinda sorta recommends HTTPS instead of SSH in a few places, e.g., https://docs.github.com/en/free-pro-team@latest/github/getti...
52.
by jfarmer 6y ago
I always really liked Avdi Grimm's "Confident Code" talk: https://www.youtube.com/watch?v=T8J0j2xJFgQ It has similar conclusions, but does it from the frame of the "story of the code" rather than ab
53.
by jfarmer 6y ago
There are two relevant facts: 1. Linear maps are determined by their behavior on basis elements 2. The composition of linear maps is still linear Together, this means you can work out how the composition of two linear maps affe
54.
by jfarmer 6y ago
The author believes that we should screen for IQ directly and that long technical interviews are second-rate proxy for that. The piece is meant to get the reader to buy into a set of "natural" or "obvious" priorities and
55.
by jfarmer 6y ago
I think it is and it isn't. The author definitely believes in testing for people's IQs, so I think the whole section on "identifying talent" is meant to serve as a reductio ad absurdum . Some of the author's tweets
56.
by jfarmer 6y ago
Hah. Reminds me of Gattaca.
57.
by jfarmer 6y ago
Don't get me wrong, I meant that QCVC shows the opposite of what it intends: the bottleneck is _not_ lack of clever "memorization technology." They even kidna realize it themselves when they say "This works better w&#x2F
58.
by jfarmer 6y ago
The author helped build Quantum Computing For The Very Curious ( https://quantum.country/qcvc ) as a proof-of-concept and, IMO, it shows just what the bottleneck in "learning" from any kind of text is. QCVC period
59.
by jfarmer 6y ago
A compelling quote, but alas: https://quoteinvestigator.com/2016/06/20/books/
60.
by jfarmer 6y ago
In 2008, I made an app go viral on Facebook by posting pro-LGBT / anti-prop-8 ads within a 20 mile radius of SLC. Hundreds of millions of dollars as been invested into the FB platform ecosystem by that point. Plenty of people understoo

More ›