jfarmer

No, it's really sets of measure zero. The Cantor set is an example of an uncountable set of measure 0: https://en.wikipedia.org/wiki/Cantor_set

The indicator function of the Cantor set is Riemann integrable. Like you said, though, the Dirichlet function (which is the indicator function of the rationals) is not Riemann integrable.

The reason is because the Dirchlet function is discontinuous everywhere on [0,1], so the set of discontinuities has measure 1. The Cantor function is discontinuous only on the Cantor set.

Likewise, the indicator function of a "fat Cantor set" (a way of constructing a Cantor-like set w/ positive measure) is not Riemann integrable: https://en.wikipedia.org/wiki/Smith%E2%80%93Volterra%E2%80%9...

jfarmer

3 ay öncediscuss

"Almost everywhere" means "everywhere except on a set of measure 0", in the Lebesgue measure sense.

Here's an example of a Riemann integrable function w/ infinitely many discontinuities: https://en.wikipedia.org/wiki/Thomae%27s_function

Anyone interested in this should check out the Prologue to Lebesgue's 1901 paper: http://scratchpost.dreamhosters.com/math/Lebesgue_Integral.p...

It gives several reasons why we "knew" the Riemann integral wasn't capturing the full notion of integral / antiderivative

jfarmer

4 ay öncediscuss

The picture isn't quite so clean in the constructive context, which is what many of these proof systems are rooted in, e.g., https://mathoverflow.net/questions/236483/difference-between...

jfarmer

4 ay öncediscuss

So they'd need more robust experimental designs and statistical methods. They exist.

And unlike the university context, there’s a glut of data.

A basic technique: https://en.wikipedia.org/wiki/Inverse_probability_weighting

Or https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4384809

jfarmer

4 ay öncediscuss

Seems like a straightforward solution would be to get people to opt-in by offering them credits, increased limits, early access to new features, etc.

Universities have IRBs for good reasons.

jfarmer

8 ay öncediscuss

Plants "want" nitrogen, but dump fertilizer onto soil and you get algal blooms, dead zones, plants growing leggy and weak.

A responsible farmer is a steward of the local ecology, and there's an "ecology of friction" here. The fertilizer company doesn't say "well, the plants absorbed it." But tech companies do.

There's something puritanical about pointing to "revealed preference" as absolution, I think. When clicking is consent then any downstream damage is a failure of self-control on the user's part. The ecological cost/responsibility is externalized to the organisms being disrupted.

Like Schopenhauer said: "Man kann tun, was er will, aber er kann nicht wollen, was er will." One can do what one wants, but one cannot will what one wants.

I wouldn't go as far as old Arthur, but I do think we should demand a level of "ecological stewardship". Our will is conditioned by our environment and tech companies overtly try to shape that environment.

jfarmer

8 ay öncediscuss

I think of it like this:

Friction is an element of the environment like any other. There's an "ecology of friction" we should respect. Deciding friction is bad and should be eradicated is like deciding mosquitoes or spiders or wolves are bad and should be eradicated.

Sometimes friction is noise. Sometimes friction is signal. Sometimes the two can't be separated.

I learned much the same way you did. I also started a coding bootcamp, so I've thought a lot about what counts as "wasted" time.

I think of it like building a road through wilderness. The road gets you there faster, but careless construction disturbs the ecosystem. If you're building the road, you should at least understand its ecological impact.

Much of tech treats friction as an undifferentiated problem to be minimized or eliminated—rather than as part of a living system that plays an ecological role in how we learn and work.

Take Codecademy, which uses a virtual file system with HTML, CSS, and JavaScript files. Even after mastering the lessons, many learners try the same tasks on their own computers and ask, "Why do I need to put this CSS file in that directory? What does that have to do with my hard drive?"

If they'd learned directly on their own machines, they would have picked up the hard-drive concepts along the way. Instead, they learned a simplified version that, while seemingly more efficient for "learning to code," creates its own kind of waste.

But is that to say the student "should" spend a week struggling? Could they spend a day, say, and still learn what the friction was there to teach? Yes, usually.

jfarmer

8 ay öncediscuss

I've worked in tech and lived in SF for ~20 years and there's always been something I couldn't quite put my finger on.

Tech has always had a culture of aiming for "frictionless" experiences, but friction is necessary if we want to maneuver and get feedback from the environment. A car can't drive if there's no friction between the tires and the road, despite being helped when there's no friction between the chassis and the air.

Friction isn't fungible.

John Dewey described this rationale in Human Nature and Conduct as thinking that "Because a thirsty man gets satisfaction in drinking water, bliss consists in being drowned." He concludes:

”It is forgotten that success is success of a specific effort, and satisfaction the fulfillment of a specific demand, so that success and satisfaction become meaningless when severed from the wants and struggles whose consummations they are, or when taken universally.”

In "Mind and World", McDowell criticizes this sort of thinking, too, saying:

> We need to conceive this expansive spontaneity as subject to control from outside our thinking, on pain off representing the operations of spontaneity as a frictionless spinning in a void.

And that's really what this is about, I think. Friction-free is the goal but friction-free "thought" isn't thought at all. It's frictionless spinning in a void.

I teach and see this all the time in EdTech. Imagine if students could just ask the robot XYZ and how much time it'd free up! That time could be spent on things like relationship-building with the teacher, new ways of motivating students, etc.

Except...those activities supply the "wants and struggles whose consummations" build the relationships! Maybe the robot could help the student, say, ask better questions to the teacher, or direct the student to peers who were similarly confused but figure it out.

But I think that strikes many tech-minded folks as "inefficient" and "friction-ful". If the robot knows the answer to my question, why slow me down by redirecting me to another person?

This is the same logic that says making dinner is a waste of time and we should all live off nutrient mush. The purposes of preparing dinner is to make something you can eat and the purpose of eating is nutrient acquisition, right? Just beam those nutrients into my bloodstream and skip the rest.

Not sure how to put this all together into something pithy, but I see it all as symptoms of the same cultural impulse. One that's been around for decades and decades, I think.

jfarmer

10 ay öncediscuss

From John Dewey's Human Nature and Conduct, the fallacy that "Because a thirsty man gets satisfaction in drinking water, bliss consists in being drowned."

“The fallacy in these versions of the same idea is perhaps the most pervasive of all fallacies in philosophy. So common is it that one questions whether it might not be called the philosophical fallacy. It consists in the supposition that whatever is found true under certain conditions may forthwith be asserted universally or without limits and conditions. Because a thirsty man gets satisfaction in drinking water, bliss consists in being drowned. Because the success of any particular struggle is measured by reaching a point of frictionless action, therefore there is such a thing as an all-inclusive end of effortless smooth activity endlessly maintained.

It is forgotten that success is success of a specific effort, and satisfaction the fulfillment of a specific demand, so that success and satisfaction become meaningless when severed from the wants and struggles whose consummations they arc, or when taken universally.”

jfarmer

12 ay öncediscuss

I sometimes find Paul Watzlawick's five axioms of communication helping in thinking about situations like this.

Link: (https://en.wikipedia.org/wiki/Paul_Watzlawick#Five_basic_axi...)

  1. One cannot not communicate

  2. Every communication has a content and relationship
     aspect such that the latter classifies the former
     and is therefore a metacommunication

  3. The nature of a relationship is dependent on the
     punctuation of the partners' communication procedures

  4. Human communication involves both digital and analog
     modalities

  5. Inter-human communication procedures are either
     symmetric or complementary

Re: (1), the "mere" act of using AI communicates something, just like some folks might register a text message as more (or less) intimate than a phone call, email, etc. The choice of modality is always part of what's communicated, part of the act of communication, and we can't stop that. Re: (2), that communication is then classified by each person's idea of what the relationship is.

This is a dramatic and expensive way to learn they had different ideas of their relationship!

Of course, in a teacher/student situation, it's the teacher's job to make it clear to the students what the relationship is. Otherwise you risk relationship-damaging "surprises" like this.

Even ignoring the normative question of what a teacher Should™ do in that situation, it was counterproductive. Whatever benefit the teacher thought AI would provide, they'd (hopefully) agree it was outweighed by the cost to their relationship w/ students. All future interactions w/ those students will now be X% harder.

There's a kind of technical rationale which says that if (1) the GOAL is to improve the student's output and (2) I would normally do that by giving one or more rounds of feedback and waiting for the student to incorporate it then (3) I should use AI because it will help us reach that goal faster and more efficiently.

John Dewey described this rationale in Human Nature and Conduct as thinking that "Because a thirsty man gets satisfaction in drinking water, bliss consists in being drowned." He concludes:

”It is forgotten that success is success of a specific effort, and satisfaction the fulfillment of a specific demand, so that success and satisfaction become meaningless when severed from the wants and struggles whose consummations they are, or when taken universally.”

The act of receiving and incorporating feedback is not "inefficient", especially not in a school setting. The consummation of that process is part of the goal. Maybe the most important part!

Full Dewey quote: https://news.ycombinator.com/item?id=44597741

jfarmer

geçen yıldiscuss

CS Peirce has a famous essay "The Fixation of Belief" where he describes various processes by which we form beliefs and what it takes to surprise/upset/unsettle them.

The essay: https://www.peirce.org/writings/p107.html

This blog post gestures at that idea while being an example of what Peirce calls the "a priori method". A certain framework is first settled upon for (largely) aesthetic reasons and then experience is analyzed in light of that framework. This yields comfortable conclusions (for those who buy the framework, anyhow).

For Peirce, all inquiry begins with surprise, sometimes because we've gone looking for it but usually not. About the a priori method, he says:

“[The a priori] method is far more intellectual and respectable from the point of view of reason than either of the others which we have noticed. But its failure has been the most manifest. It makes of inquiry something similar to the development of taste; but taste, unfortunately, is always more or less a matter of fashion, and accordingly metaphysicians have never come to any fixed agreement, but the pendulum has swung backward and forward between a more material and a more spiritual philosophy, from the earliest times to the latest. And so from this, which has been called the a priori method, we are driven, in Lord Bacon's phrase, to a true induction.”

jfarmer

geçen yıldiscuss

From John Dewey's Human Nature and Conduct:

“The fallacy in these versions of the same idea is perhaps the most pervasive of all fallacies in philosophy. So common is it that one questions whether it might not be called the philosophical fallacy. It consists in the supposition that whatever is found true under certain conditions may forthwith be asserted universally or without limits and conditions. Because a thirsty man gets satisfaction in drinking water, bliss consists in being drowned. Because the success of any particular struggle is measured by reaching a point of frictionless action, therefore there is such a thing as an all-inclusive end of effortless smooth activity endlessly maintained.

It is forgotten that success is success of a specific effort, and satisfaction the fulfillment of a specific demand, so that success and satisfaction become meaningless when severed from the wants and struggles whose consummations they arc, or when taken universally.”

jfarmer

geçen yıldiscuss

John Dewey on a similar theme, about the desire to make everything frictionless and the role of friction. The fallacy that because "a thirsty man gets satisfaction in drinking water, bliss consists in being drowned."

> The fallacy in these versions of the same idea is perhaps the most pervasive of all fallacies in philosophy. So common is it that one questions whether it might not be called the philosophical fallacy. It consists in the supposition that whatever is found true under certain conditions may forthwith be asserted universally or without limits and conditions.

> Because a thirsty man gets satisfaction in drinking water, bliss consists in being drowned. Because the success of any particular struggle is measured by reaching a point of frictionless action, therefore there is such a thing as an all-inclusive end of effortless smooth activity endlessly maintained.

> It is forgotten that success is success of a specific effort, and satisfaction the fulfilment of a specific demand, so that success and satisfaction become meaningless when severed from the wants and struggles whose consummations they are, or when taken universally.

jfarmer

geçen yıldiscuss

Always a pleasant surprise to see Peirce linked here!

He influenced many people, both directly and indirectly, but had a...difficult personality. He has many thousands of pages of written work, but resisted finalizing anything "publishable". His style is (IMO) an extreme example of that dense, meandering, 19th-century Victorian style, which can make for very hard reading.

But he made significant contributions to many fields, from mathematics to experimental physics to logic to (nascent) computer science to philosophy.

This 2019 article from Aeon magazine outlines much of it: The American Aristotle https://aeon.co/essays/charles-sanders-peirce-was-americas-g...

Umberto Eco said: "Charles Sanders Peirce is undoubtedly the greatest unpublished writer of our century." (cf. https://www.jstor.org/stable/2907146)

Cornel West said: "Charles Sanders Peirce is the most profound philosophical thinker produced in America."

For example, Peirce coined the term "fallibilism":

> For years in the course of this ripening process, I used for myself to collect my ideas under the designation fallibilism; and indeed the first step toward finding out is to acknowledge you do not satisfactorily know already; so that no blight can so surely arrest all intellectual growth as the blight of cocksureness; and ninety-nine out of every hundred good heads are reduced to impotence by that malady — of whose inroads they are most strangely unaware! Collected Papers, §1.13

He was the first to articulate the type/token distinction. He has truth tables ~40 years before Wittgenstein. He had diagrams of electrical circuits that could do basic logic. He was the first to show (in the 1880s) that NOR and NAND were sufficient to reproduce the other logical connectives.

He was the first to propose tying a standard unit to an absolute measure (in Peirce's case, defining the meter in terms of the wavelength of a spectral line): https://pubs.aip.org/physicstoday/article/62/12/39/390647/Ch...

The ideas in the paper where he proposed that were taken up by Michelson and Morley, who credit Peirce in several of their interferometer papers.

jfarmer

geçen yıldiscuss

“It is a profoundly erroneous truism, repeated by all copy-books and by eminent people when they are making speeches, that we should cultivate the habit of thinking of what we are doing. The precise opposite is the case. Civilization advances by extending the number of important operations which we can perform without thinking about them. Operations of thought are like cavalry charges in a battle — they are strictly limited in number, they require fresh horses, and must only be made at decisive moments.”

— Alfred North Whitehead, "Introduction to Mathematics" (1911)

jfarmer

3 yıl öncediscuss

I sometimes use a Turing Tumble to demonstrate this: https://upperstory.com/turingtumble/

I've also had occasional success first convincing them they know how to add "mindlessly", by just manipulating symbols, and then explaining that we can have machines do it mindlessly, too. I don't use those words, ofc.

For example, you might ask them "Imagine you had a younger sibling who couldn't add. Maybe they didn't even know what numbers were. Could you teach them how to add by just telling them what symbols to write down as they looked through the symbols in the addition problem? Maybe there's an index card labeled '6+3' and on it is written '9'. You tell them to look for the correct index card and write down the corresponding symbol."

You can also explain binary to any interested student who is 13+ and then the idea that a machine can do it becomes a lot easier.

This video of Richard Feynman explaining how computers works is very good: https://www.youtube.com/watch?v=EKWGGDXe5MA

He uses a metaphor I've gotten a lot of mileage out of. Imagine you have a clerk who can add and multiply like a regular person. Now imagine there's someone else who knows only how to add and count, but have no idea what multiplication is.

If they can add and count fast enough, it'll look to an outsider like they not only know what multiplication is, but they can do any multiplication problem almost instantly.

Computers are like that: dumb but fast.

If they do something fast enough they give the illusion of "understanding", kind of like movies give the illusion of motion by swapping out still images fast enough.

jfarmer

3 yıl öncediscuss

I did this years ago to demonstrate to my students that the "exact solution" can still be written in code. There are implementations in Ruby and Python, with some benchmarking code: https://github.com/jfarmer/fib-bench/

Code winds up looking like:

  def fib_phi(n)
    ((PhiRational(0,1)**n - PhiRational(1,-1)**n)/PhiRational(-1, 2)).a.to_i
  end

The exponentiation operation uses basic exponentiation by squaring for performance: https://en.wikipedia.org/wiki/Exponentiation_by_squaring

(Technically implemented arithmetic over Q(ϕ) not Q(√5) because it simplifies the code a bit.)

jfarmer

3 yıl öncediscuss

This is a great book and I quote this 1998 article she wrote for Salon all the time: https://www.salon.com/1998/05/12/feature_321/

"The dumbing-down of programming"

> The computer was suddenly revealed as palimpsest. The machine that is everywhere hailed as the very incarnation of the new had revealed itself to be not so new after all, but a series of skins, layer on layer, winding around the messy, evolving idea of the computing machine. Under Windows was DOS; under DOS, BASIC; and under them both the date of its origins recorded like a birth memory. Here was the very opposite of the authoritative, all-knowing system with its pretty screenful of icons. Here was the antidote to Microsoft's many protections. The mere impulse toward Linux had led me into an act of desktop archaeology. And down under all those piles of stuff, the secret was written: We build our computers the way we build our cities -- over time, without a plan, on top of ruins.

I repeat the last sentence to my students all the time ("We build our computers the way we build our cities -- over time, without a plan, on top of ruins.")

There's no way to understand why our computers work the way they do without understanding the human, social, and economic factors involved in their production. And foregrounding the human element often makes it easier to explain what's going on and why.

jfarmer

3 yıl öncediscuss

Love this.

The way I think about it is that you assume a level of responsibility whenever you tinker with default affordances. Your "feature" isn't restricted to whatever narrow conception or intention you had when you designed it. It consists in the totality of a visitor's actual experience.

If I change the logic of the the back button, I'm changing what the back button affords on this particular website and become responsible for whatever happens as a result.

That includes confused and frustrated users saying "Screw you and your broken website."

Or take, e.g., the way scrollbars work, which can be very browser-and-OS-specific. Are you sure you want to assume responsibility for that? How sensitive are you to the downside, really?

Essentially, you're making your website speak a kind of creole. You've forgone any right to be upset if your visitors don't speak it and shouldn't be surprised if they persist in "misinterpreting" it.

Forget about avoiding such "features" because you want to be nice to your visitors. It always seemed to me they offer limited upside and unlimited downside.

jfarmer

3 yıl öncediscuss

If folks are looking for terms to Google, try "spectral graph theory" and "algebraic graph theory"

https://en.wikipedia.org/wiki/Spectral_graph_theory

https://en.wikipedia.org/wiki/Algebraic_graph_theory

Pretty much every field in math has a related field where you try to turn problems from the former into linear algebra problems.

The "spectral theorem" (https://en.wikipedia.org/wiki/Spectral_theorem) is an important theorem in linear algebra that gives conditions for when a matrix can be diagonalized, which is closely related to what its eigenvalues/eigenvectors look like.

The simplest version of the spectral theorem says that a symmetric matrix with real-number entries has real-number eigenvalues. The eigenvalues of a matrix are called the "spectrum of the matrix", hence "spectral theorem" and "spectral graph theory".

The adjacency matrix of any undirected graph is real symmetric, so its eigenvalues are all real numbers and it's natural to ask whether they say anything about the underlying graph.

Lucky for us, there are lots of surprising connections!

For example, say G is an finite undirected graph. The chromatic number of G, denoted χ(G), is the fewest number of colors needed to color its vertexes so that no two adjacent vertexes have the same color.

If λ₁ is the largest eigenvalue of G's adjacency matrix then there's a theorem (Wilf's theorem) that says

    χ(G) ≤ 1 + ⌊λ₁⌋

That is, you can always color a graph with 1 + ⌊λ₁⌋ colors, where ⌊x⌋ is the floor of x.

And there are some (finite, undirected) graphs that require exactly 1 + ⌊λ₁⌋ colors, so we're not doing any better unless we can say something more specific about the graph.

Wilf's Theorem:

https://www2.math.upenn.edu/~wilf/website/Eigenvalues%20of%2...

https://www2.math.upenn.edu/~wilf/website/Inequality%20for%2...

Submissions

Implementing a toy version of TLS 1.3

His software sang the words of God. Then it went silent

TWiS: Vincent Woo Reflects on His Piece, “Lambda School's Misleading Promises”

The Ideal (Data-Driven) Sales Interview [PDF in Viewer]

Teaching Novice Programmers How to Debug Their Code

Learning Another Language

It’s really not that complicated

Why I Was Fired From a Tech Startup and What My Boss Had to Say About It

Interactive Youtube Maps, Daily Inspiration, And The Shortest Route To Fun

Hacker 'boot camp' helps launch tech careers

Programming Bootcamp Turns Lawyer Into Hacker

What's Functional Programming All About?

Keith Olbermann Thinks I'm an Idiot

An entrepreneur's letter from his future self

Instagram Co-Founder’s Girlfriend Learns Python to Launch Lovestagram

Tech recruitment: how not to do it

Erlang: A Generalized TCP Server

The Value of a Social Commerce Referral (w/ data)

Click Hacking for Fun and Profit

Swipely Aims to (Politely) Turn Purchases Into Conversations

comments