From: Zack M. Davis Date: Fri, 3 Jan 2025 16:24:29 +0000 (-0800) Subject: initial commit X-Git-Url: https://zackmdavis.net/blog/source?a=commitdiff_plain;h=040f0e081dc921f1591821771aa8cc596c8cf768;p=An_Algorithmic_Lucidity.git initial commit Someday I'd like to move my mainstream blog to Pelican and have all the posts in Git; right now it's still WordPress (because that was the obvious thing to do when I set it up in 2011). But before I've moved the whole blog, I still want new posts in version control, so let's init a repository for that. --- 040f0e081dc921f1591821771aa8cc596c8cf768 diff --git a/college_is_not_that_terrible_now_that_im_not_that_crazy.md b/college_is_not_that_terrible_now_that_im_not_that_crazy.md new file mode 100644 index 0000000..34131fd --- /dev/null +++ b/college_is_not_that_terrible_now_that_im_not_that_crazy.md @@ -0,0 +1,9 @@ +## College Is Not That Terrible Now That I'm Not That Crazy?? + + + + + +[Queer Literatures and Media] + +[clicking through anti-harrassment training is obviously OK] diff --git a/should_i_finish_my_bachelors_degree.md b/should_i_finish_my_bachelors_degree.md new file mode 100644 index 0000000..a89a6ca --- /dev/null +++ b/should_i_finish_my_bachelors_degree.md @@ -0,0 +1,49 @@ +## Should I Finish My Bachelor's Degree? + +To some, it might seem like a strange question. If you think of _being college-educated_ as a marker of class (or personhood), the fact that I don't have a degree at age of thirty-six (!!) probably looks like a scandalous anomaly, which it would be only natural for me to want to remediate at the earliest opportunity. + +I deeply resent that entire worldview—not because I've rejected _education_, properly understood. On the contrary. The study of literature, history, mathematics, science—these things are among the noblest pursuits in life, sources of highest pleasure and deepest meaning. It's precisely because I value education so much that I can't stand to see it conflated with _school_ and its culture of bureaucratic servitude where no one cares what you know and no one cares what you can do; they just want you to sit in a room and obey the commands of the designated teacher. Whereas in reality, knowledge doesn't come from "taking courses." + +_How could it?_ Knowledge comes from quality study and practice. Sure, it's possible that someone could study in order to "pass" a "class" that they're "taking" in school. But once you know how and why to study, it's not clear what value the school is adding that can't be gotten better, cheaper, elsewhere. Just get the books. (And start a blog, go to meetups, chat to large language models, hire a private tutor—whatever _makes sense_ to get better at doing the things you want to do, without having to worry about whether the thing that _makes sense_ can be made legible to distant bureaucrats.) + +The people who [believe in](https://www.lesswrong.com/posts/duvzdffTzL3dWJcxn/believing-in-1) being college-educated probably don't believe me. They probably think my pæans to the glory of self-study are the rationalizations of a lazy student who doesn't want to work hard. + +I can understand some reasons for skepticism. Sometimes people really are lazy, and suffer from self-serving delusions. Probably there are some confused people out there who have mistaken consumer edutainment for production scholarship and—maybe, somehow—could benefit from being set straight by the firm tutelage of the standard bureaucratic authority. + +But without vouching for everyone who calls themself an autodidact, I think I can present third-party-visible evidence that _my_ self-study is for real? I worked as a software engineer for eight years; I have [173 commits in the Rust compiler](https://github.com/rust-lang/rust/commits?author=zackmdavis); I wrote [a chess engine](https://github.com/zackmdavis/Leafline); I've blogged 400,000 words over the past dozen years on topics from [mathematics](http://zackmdavis.net/blog/2012/08/straight-talk-about-precompactness/) and [machine learning](http://zackmdavis.net/blog/2024/03/deep-learning-is-function-approximation/), to [formal](https://www.lesswrong.com/posts/YptSN8riyXJjJ8Qp8/maybe-lying-can-t-exist) [epistemology](https://www.lesswrong.com/posts/mB95aqTSJLNR9YyjH/message-length) and the [philosophy](https://www.lesswrong.com/posts/esRZaPXSHgWzyB2NL/where-to-draw-the-boundaries) of [language](https://www.lesswrong.com/posts/onwgTH6n8wxRSo2BJ/unnatural-categories-are-optimized-for-deception), to [politics](http://unremediatedgender.space/2019/Aug/the-social-construction-of-reality-and-the-sheer-goddamned-pointlessness-of-reason/) and [differential psychology](http://unremediatedgender.space/2020/Apr/book-review-human-diversity/), and much more. + +This is not the portfolio of an _uneducated_ person. If someone is considering working with me and isn't sure of my competence, they're welcome to look at my output and judge for themselves. (And I'm happy to take a test when that makes sense.) If someone would otherwise consider working with me, but are put off by the lack of a mystical piece of paper from the standard bureaucratic authority, that's their loss—maybe _I_ don't want to work with someone with so little discernment. + +------- + +If I believe everything I just wrote, explaining why I have nothing particularly to gain and nothing particularly to prove by jumping through a few more hoops to get the mystical piece of paper, then ... why am I considering it? + +One possible answer is that it passes a cost–benefit analysis mostly by virtue of the costs being low, rather than the benefits being particularly high. I'm at a time in my life where I have enough money from my previous dayjob and enough [uncertainty about how long the world is going to last](https://en.wikipedia.org/wiki/Existential_risk_from_artificial_general_intelligence), that I prefer having lots of free time to work on things that interest me or add dignity to the existential risk situation, than to continue grinding at software dayjobs. So if my schedule isn't being constrained by a dayjob for now, why not "take" some "classes" and finish off the mystical piece of paper? Continuing from where I left off in 2013 due to being rescued by the software industry, I need five more math courses and three more gen-eds to finish a B.A. in math at [San Francisco State University](https://sfsu.edu/), which I can knock out in two semesters. [The commute is terrible](https://www.google.com/maps/dir/Pleasant+Hill+BART,+1365+Treat+Blvd,+Walnut+Creek,+CA+94597/San+Francisco+State+University,+Holloway+Avenue,+San+Francisco,+CA/@37.8062534,-122.4357598,11z/), but I can choose my schedule to only be on campus a couple days a week. And then if it makes sense to go get another dayjob later, "I finished my Bachelor's degree" is a legible résumé-gap excuse (easier to explain to semi-normies with hiring authority than "I finished my 80,000-word [memoir](http://unremediatedgender.space/2023/Jul/blanchards-dangerous-idea-and-the-plight-of-the-lucid-crossdreamer/) [of](http://unremediatedgender.space/2023/Jul/a-hill-of-validity-in-defense-of-meaning/) [religious](http://unremediatedgender.space/2023/Dec/if-clarity-seems-like-death-to-them/) [betrayal](http://unremediatedgender.space/2024/Mar/agreeing-with-stalin-in-ways-that-exhibit-generally-rationalist-principles/)"). + +In short, why not?—if I'm going to do it ever, now is a convenient time, and eight classes is a sufficiently small cost that it makes sense to do it ever (conditional on the world not ending immediately). + +A less comfortable possible answer is that maybe I do have something to prove. + +I often wonder why I seem to be so alone in my hatred of school as an intellectual. The people who are smart enough to do well in school are presumably also smart enough to have intellectual lives outside of school. Why do people put up with it? Why is there a presumption that there must be something wrong with someone who didn't finish the standard course? + +I think part of the answer is that, separately from whether the standard course makes sense as a class or personhood marker, once the signaling regime has been established, it's mostly _true_ that people who don't finish the standard course probably have something wrong with them. + +Separately from the fact that I'm obviously right that my personal passion projects are more intellectually meritorious than the busywork school demanded of me, there's also something wrong with me. My not finishing the first time at UC Santa Cruz (expected class of 2010) wasn't just a matter of opportunity costs. I also had obscure psychological problems unrelated to my intellectual ability to do the work, which were particularly triggered by the school environment (and thankfully aren't triggered by software industry employment relations). Someone with my talents who wasn't crazy probably would have arranged to finish on time for pragmatic reasons (notwithstanding the injustice of the whole system). + +This makes it slightly less confusing that the system hasn't been overthrown. It's not that school somehow has a monopoly on learning itself. It's that people who are good at learning mostly don't have problems getting the mystical piece of paper granting them legal and social privileges, and therefore don't have a chip on their shoulder about not having it. + +If that were the entirety of the matter, it wouldn't present a sufficient reason for me to finish. There would be be little point in proving to anyone that I've outgrown my youthful mental health problems by showing that I can endure the same abuses as everyone else, when anything I might want to prove to someone is proven better by my history of making real things in the real world (code that profitable businesses pay for, blog posts that people want to read of their own volition). + +But it gets worse. It may just be possible that I have something prove intellectually, not just psychologically. In 2010, after studying math on my own for a couple years (having quit the University at Santa Cruz in 2007), I enrolled in a differential equations class at the local community college, expecting to do well and validate the glory of my self-study. I was _actually interested in math_. Surely that would put me at an advantage over ordinary community college students who only knew how to do as they were told? + +In fact, I did poorly, scraping by with a _C_. No doubt the people who believe in being college-educated will take this as proof of their worldview that nothing of intellectual value happens outside of schools, that anyone who thinks they learned something from a book that wasn't assigned by their officially designated instructor is only deluding themselves. + +Ultimately, I don't think this is the correct moral. (If a poor performance in that one class counts as evidence against the hypothesis that I know what I'm doing, then good or dominant performances elsewhere—including in other school math classes—count as evidence for; a full discussion of the exact subskill deficits leading to my differential equations debacle is beyond the scope of this post.) + +But even if the people who believe in being college-educated are ultimately wrong, I'm haunted by the fact they're not _obviously_ wrong. The fact that my expectations were so miscalibrated about the extent to which my being "into math" would easily convert into proficiency at finicky differential equations computations makes it less credible to just point at my work online and say, "Come on, I'm _obviously_ the equal of your standard STEM graduate, even if I don't have the mystical piece of paper." + +If _that_ were the entirety of the matter, it still wouldn't present a sufficient reason for me to finish. Desperately trying to prove one's worth to the image of an insensible Other is just no way to live. When I was at SF State in 2012 (having endured the constant insults of three-plus semesters of community college, and my father being unwilling to pay for me to go back to Santa Cruz), it was for the perceived lack of other opportunities—and I was miserable, [wondering when would my life begin](https://www.youtube.com/watch?v=kRXmAIHYQR4). Whatever resources the university might have offered towards my genuine intellectual ambitions were tainted by the bitterness that I mostly wasn't there to learn math; I was there because I felt coerced into proving that I could join the ranks of the college educated. + +But now that I've earned some of my own money (and for unrelated reasons feel like [my life is over](http://unremediatedgender.space/2022/Apr/backlog-metablogging-april-2022/) rather than waiting to begin), the relative balance of motivations has shifted. Getting the mystical piece of paper is still a factor, but now that it feels like I have a real choice, I think I can seek advantage in the situation with less bitterness. + +It helps that I only have a few "general education" requirements left, which I experience as insulting obedience tests that are wholly inferior to my free reading and blogging, regardless of the quality of the professor. In contrast, I can regard some upper-division math classes as a worthy challenge. (Yes, even at SFSU. I am not very intelligent.) Learning math is hard and expensive: I can see how it makes sense to organize a coordinated "class" in which everyone is studying the same thing, with assignments and tests for feedback and calibration. It doesn't seem like a betrayal of the divine to want to experience meeting that external standard with pride—now that I'm less crazy, now that I have a real choice, now that my life is otherwise over anyway. I'm not committed yet (the admissions office is supposed to get back to me), but I'm currently leaning towards doing it. diff --git a/the_end_of_the_movie-sf_states_2024_putnam_competition_team_a_retrospective.md b/the_end_of_the_movie-sf_states_2024_putnam_competition_team_a_retrospective.md new file mode 100644 index 0000000..6dd3e8a --- /dev/null +++ b/the_end_of_the_movie-sf_states_2024_putnam_competition_team_a_retrospective.md @@ -0,0 +1,39 @@ +# The End of the Movie: SF State's 2024 Putnam Competition Team, A Retrospective + +> Because life is a gradual series of revelations +> That occur over a period of time +> It's not some carefully crafted story +> It's a mess, and we're all gonna die +> +> If you saw a movie that was like real life +> You'd be like, "What the hell was that movie about? +> It was really all over the place." +> Life doesn't make narrative sense +> +> —"The End of the Movie", _Crazy Ex-Girlfriend_ + +Every Hollywood underdog story starts with a dream. [The scrawny working-class kid who wants to play football for Notre Dame](https://en.wikipedia.org/wiki/Rudy_(film)). [The charismatic teacher at a majority Latino school in East L.A. who inspires his class to ace the AP Calculus exam](https://en.wikipedia.org/wiki/Stand_and_Deliver). [The debate team at a historically black college that unseats the reigning national champions.](https://en.wikipedia.org/wiki/The_Great_Debaters) Hollywood tells us that if you work hard and believe in yourself, you can defy all expectations and achieve your dream. + +Hollywood preys on the philosophically unsophisticated. [Chebyshev's inequality](https://en.wikipedia.org/wiki/Chebyshev%27s_inequality) states that the probability that a random variable deviates from its mean by _k_ standard deviations is no more than 1/_k_². Well-calibrated expectations should already take into account how hard you'll work and how much you'll believe in yourself: underdogs mostly lose _by definition_. + +Accordingly, this story starts with a correspondingly humble dream: the not-a-kid-anymore [returning to SFSU after a long absence to finish up his math degree](http://zackmdavis.net/blog/2024/05/should-i-finish-my-bachelors-degree/), who wants to get a nonzero score in Putnam exam. (It's not quite as humble as it sounds: the median score in the famously brutal elite competition is often zero out of 120, although last year the median was ten.) + +The first step on the road to a nonzero score was to be able to compete at all: SF State had no immediate history of participating in the event. At SFSU in 2012, I had asked one of my professors about registering for the Putnam, and nothing came of it. This time, a more proactive approach was called for. After reaching out to the chair and several professors who had reasons to decline the role ("I'm not a fan of the Putnam", "I have negative time this semester", "You should ask one of the smart professors"), Prof. Arek Goetz agreed to serve as local superivor. + +A prepation session #1 to discuss the solutions to [problems from the 2010 competition](https://kskedlaya.org/putnam-archive/2010.pdf) was scheduled and advertised on the math-majors mailing list (Subject: "Putnam prep session for eternal mathematical glory, 4 p.m. Thu 19 September"). Despite some interest expressed in email, no non-organizer participants showed up ... but on comparing the [2010 solutions](https://kskedlaya.org/putnam-archive/2010s.pdf) to my flailing attempts over the previous week, I had solved one— + +> **B2**. Given that A, B, and C are noncollinear points in the plane with integer coordinates such that the distances AB, AC, and BC are integers, what is the smallest possible value of AB? + +The obvious "dumb" guess is 3, from the smallest [Pythagorean triple](https://en.wikipedia.org/wiki/Pythagorean_triple) 3–4–5. Can we do better?—is there some integer-coordinate triangle with a side of 1 or 2? + +The Pythagorean theorem generalizes to the law of cosines: c² = a² + b² − 2ab cos θ. We can't go down to c := 2 with integer a and b because— + +[...] + +The dream was alive! + + +[TODO: the law of cosines thing wasn't a proof, but the fact that I intuited the right answer meant that the dream was alive] + +https://www.math.cmu.edu/~ploh/2024-putnam.shtml +