With time, resources, and money, I'd get a masters. If money allowed me to live better than a ph.d student life, I'd strongly consider it.
209 karma · joined May 2, 2016
I'm a mathematical realist. I call myself a Platonist. I've done some analytics philosophy, number theory, and model theory, but I'm not a mathematician.
The history of math is tied with the history of Platonism. The article mentions it going back to Plato, but I think Plato was influenced by Pythagoras in terms of Math.
Skipping a lot of history, we know that Hilbert posed his problems. Then mathematicians decided they wanted to "reduce math down to logic." The names Frege, Russell, Whitehead, Godel, Church, and Turing should ring a bell. Until WW2 logical positivism was a thing.
Talking about "math" in terms of symbols, or what we use as humans kind of misses the point. Sure historical Platonism focused more on the theory of forms, Justice, Beauty, Art, and all that. But it's more so about "logic" or rather "systems." The question is about how this system comes into our reality. A Realist would say something like "systems can't be self describing (in the natural world)." I'm not entirely happy with that statement, but I think it's a starting point.
If one wants a quick fun introduction to Mathematical Realism and logic, I really enjoyed "Logicomix." Or spend some time on `plato.stanford.edu`[0]. I can't recall the paper but Russell poses Platonism pretty well. I read [1] Abraham Robinson for a presentation on this topic in a Model Theory seminar.
This is a large topic, with a large history, and it's important enough that we keep talking about it. I realize that many don't care, but personally I find it interesting and math is more fun with it.
[0] https://plato.stanford.edu/entries/platonism-mathematics/
Taylor Swift fans are catching up on the touring world.
I wonder if they are aware of cashortrade
https://cashortrade.org/taylor-swift-tickets/
It looks like the stipulations for posting between the Google form and cashortrade are pretty similar. Screenshots and all that. Also both using paypal.
Note: I've sold on cashortrade before, and I wind up getting resale tickets quite frequently. The scalping world is terrible these days. Good for them for forming a community around being able to attend and enjoy a show.
I remember not really enjoying Process Philosophy. Some things that bothered me were "God," panentheism as pantheism++, and panpsychism.
To refresh my memory a bit I decided to visit https://plato.stanford.edu/entries/process-philosophy. A quick skim mentions William James, John Dewey, and Heidegger, all of whom I've read but don't remember process philosophy from any of them.
> As Nietzsche put it (when discussing Heraclitus), if we observed nature at different time scales, we could see trees pop up and wither away, the sun could look like a ‘luminous bow across the sky’; contrariwise at slower speeds, we could observe a flower as being as permanent as a mountain. Everything is in flux, permanence is merely an illusion of timescale. Being is Becoming, as Nietzsche claims.
It's been a while since I've read Nietzsche, but these two ideas don't seem to go together. Sure Being is Becoming, but comparing it to a tree pop up and wither kind of reminds me more of teleology. I want to say Heidegger's Being and Time is more about the human condition, or at least humans, dasein. And for Nietzsche I seem to remember the `will to be,` `the will to become,` `the will to x` to be more about Beings that are able to will. Though I suppose someone in Process Philosophy would say that all things have some kind of will because of the whole panpsychism thing.
To be honest I'm kind of surprised to see process philosophy pop up. I could see it being interesting as an exercise in some Comp Sci discussion like OOP/FP, events, or AI.
I really enjoyed Friedman's book `Scheme and the Art of Programming` because it filled in some pieces missing from "The Little Schemer" (and "Seasoned Schemer"). Building stuff like `kons`, `map` and all that `letrec` stuff.
But the big difference between Scheme and Clojure is that in Scheme, while it's "functional by concept," you get to escape with `(set! ...)` whenever you want to have a more traditional ds/algo (like say doing the n queens problem).
In Clojure you can kind of do that by either escaping to Java, using protocols (with atoms), or using transients, but I often feel like there's a "more functional way to do stuff that hasn't been taught to me."
I've opened up either the Okasaki dissertation or book or both, but I've always had trouble reading it, and then sticking with it. And some stuff like looking at Rosetta code and saying "to reverse a linked list in a lisp is easy... because it's a cons cell" seems like cheating. Almost like showing up to an interview, saying your "linked list" is implemented in an array structure and then calling `reverse()` on it.
Will watch that talk from 2014, must not have seen it before.
I guess, conceptually, day to day things in Clojure does feel pretty natural, even easier, and I think I have a decent understanding of it. But then when I look at leetcode type problems, or something more involved, it takes a lot of mental effort to translate to it. Especially things like `big O` gets thrown away in my mental model. I get it, persistent data structures and all that, but there's still a mystery there.
https://github.com/fogus/papers-i-love
Really good resource for a bunch of important papers.
There's also some good information for compilers on github
Also I like how there is a counter on the github site.
I've been meaning to pick it back up, but was considering going through Crafting Interpreters first (and started reading it but since I don't know Java I spent more time trying to figure out a good setup with Java and Emacs).
How is Nils Holm's "LISP from nothing?" I discovered it a while ago, but probably judged it by its cover (and the typesetting).
Any other recs in the PL/compilers world would be appreciated. I'm probably the only person that did not like EOPL. I bought the 3rd edition, went back to the 2nd edition, and at some point early on the eval did not work. Which is a shame since I enjoyed Friedman's Little/Seasoned Schemer and Scheme and the Art of Programming
You say "It doesn't work on my phone."
> There is no lengthy discussion about what the consumer can eat or wear. They simply say “I’m vegan”, or “can I see your vegan menu?” The server is not baffled.
This is not generally true. Lots of people don't _understand_ what veganism is, and there's a lot of distrust by vegans.
> The next time someone tells you “download our app”, say: “I’m fossarian; is your app FOSS?”
Nobody will care, and a banker is not going to know.
> Restaurant menus show a green leaf next to vegetarian or vegan options.
Sometimes, and it gets confusing between what is vegetarian and what is vegan, and they're not comparable.
> If [vegans] choose to say “cannot”, they are effectively saying they adhere to (or are bound by) the rules of the label… the rules of being vegan.
No, it gets treated as a dietary restriction more often than an ethics based rights movement.
> Just as there are different kinds of vegans (e.g. “ethical vegan”, “environmental vegan”, “dietary vegan”, etc), there are fossarians of different kinds:
There's not. There's no such thing as a dietary or environmental vegan. Veganism is for the animals. Those are harmful to the movement. Which is why a lot of people prefer to say "plant based."
> Such a consumer contributes absolutely nothing to the exploitation of that animal, yet vegans will debate fiercely as to whether such a consumer can call themselves vegan. The only thing that’s non-controversial is to say they would not be a dietary vegan.
I have seen freegan people argue this, but I would say most vegan, for the animals, vegans, would say that a person that eats dumpster steak is not vegan, because it treats animals as objects of pleasure and utility. It normalizes consumption. Animal rights means animals are not food.
Despite the fact I would never use the label "fossarian" I'm sympathetic to it. I have made similar points on both free software and veganism. I think there is a link there. Namely in that they're both movements towards freedom. Also the fact that nutrition labels (in the US) do not include everything that's in a product. They get to say "natural flavors" which can be anything from plants to animals. They also do not have to say where or how their food building blocks are sourced (is something animal derived or not). There's a similarity there towards the building of some binary. Can I compile the source? Can I see the libraries that were used? Can I see the functions and what they do? It's also a problem of obfuscation.
I've actually been kinda confused about my diet for a year or so. I gained a bunch of weight and thought it was because of meds, but a couple of years ago on a similar diet I lost a bunch of weight. I guess I'm just following procedures instead of counting calories these day.
> Now, a non-insignificant set of people who have bought into zealous veganry are raising children who will be physically more fragile just because they've been marketed with the idea that dairy == bad.
> It is the position of the American Dietetic Association that appropriately planned vegetarian diets, including total vegetarian or vegan diets, are healthful, nutritionally adequate, and may provide health benefits in the prevention and treatment of certain diseases. Well-planned vegetarian diets are appropriate for individuals during all stages of the life cycle, including pregnancy, lactation, infancy, childhood, and adolescence, and for athletes.
https://pubmed.ncbi.nlm.nih.gov/19562864/
There's plenty of sources saying a properly planned vegan diet is fine. Lots of vegans take supplements, and lots of food is fortified.
I've used emacs for probably over a year now.
I'm glad I learned modal editing with vim, but with doom emacs there is nothing I miss from vim, except maybe `ctrl-p`, `projectile` isn't as good in certain cases, but it's good enough.
In my opinion emacs is just better for everything, and if you know vim well enough doom will take 10 minutes to learn to use. Those 10 minutes are the install. Most vim commands will _just work_.
From the article
> "It's devastating," he said. "This is more than just an income issue for me. It's an inability to do what I love. So, on a financial level and on a personal level, it's devastating."
I'm glad it's a financial loss. Nobody should be a commodity. And it's wrong that it's what somebody loves to do.
I wanted to post specifically because mentioning the Granby roll, it's one of those memories that stick out to me. I went to a camp specifically focused on it, I think in Pennsylvania, with someone who was pretty well known but I can't remember who it was. There I learned how to do a standing granby.
Many years later, in recent history, I demonstrated a side flip, all thanks to that camp.
Interesting Cedric seems to have started as a teenager, and wants to get back to it because of a regret of not doing well in nationals. This is similar to a regret I have in a tournament that I know I could have done better in.
But there's really no wrestling as an adult.
There's a lot of feelings I have wrt the article, and similarities to programming, and learning. But I'll save the wall of text.
Location: New York
Remote: Yes
Willing to relocate: No
Technologies: Clojure, Python, Linux, Elasticsearch, AWS, SQL
Résumé/CV: Email
Email: jmkrhn@fastmail.cn
Being a team player and working together is super important. Especially since there are many varied backgrounds and experiences.
Particularly interested in opportunities which include functional programming.
> I now think that the extreme abuse of animals by the food industry on behalf of ignorant consumers is probably the worst evil of the 21st century.
I agree, there's no comparison, billions of land animals a year, trillions including sea life. I can't count that high.
The pain has gotten worse year after year. You watch otherwise smart people give bad arguments, or complete ignorance. To maintain any kind of social life you have to deal with being uncomfortable with those around you.
Hopefully we can have small impactful moments upon other's lives.
https://viva.pressbooks.pub/openmusictheory/front-matter/int...
Under the Accessibility section:
> We use some less-standard terminology to help readers who use screen readers; in particular, we never use a capital/lowercase letter M to distinguish major and minor qualities, and instead use the abbreviations “ma” and “mi.” Hopefully this nomenclature will become more common over time.
There's also a lot of videos on youtube for cooking.
In terms of vitamins Deva puts out a bunch of vegan supplements. Ofc the most important is B12, secondary to that is probably Vitamin D. They contains other stuff like iron and all that but it's probably not needed on a healthy plant based diet.
Nutritional yeast also has B12, as does a lot of fortified foods (nut milks).
> However, just avoiding animal products and eating more and more vegan dishes doesn't cut it as you most likely will miss out on a lot of nutrients.
It does cut it, and except for B12 pretty much every study says that a well balanced plant based diet is perfectly healthy. However the question becomes what is well balanced? Well non plant-based people are also not eating particularly healthy.
The serious answer to the question is to go see a plant based dietician for questions about nutrition. Depending on your location you can find them on happycow.org. You should also get a blood test as you're starting and somewhat regularly (6 months? a year?).
In terms of what I eat: a lot of rice and beans. And a smoothie to cover some other nutrition.
Also stuff like Huel seems to be promising to match a nutritionally complete meal.
However last year I got a Gaggia espresso machine, and espresso is a whole other world of complexity. My Gaggia only has the pressure mod, but I did plan to add a PID to it. It's still simple, turn on and let it get hot, then I usually do long pulls for like 40-50 seconds on a double shot portafilter. But there are other espresso machines with more electronics that feel desirable.
Of course I chose getting a Gaggia by going to Github and seeing which espresso machines are developer friendly. :)
https://github.com/Zer0-bit/gaggiuino
However I just make coffee for myself. Maybe a Keurig is easier if you have guests. It seems most of the people I know who have it, have it for that reason.
In lieu of a long post choose a jam compilation from here:
https://www.youtube.com/@justjams9330/videos
Then enjoy the roadtrip, your trip is short. It's good background music, but every now and again you will notice _something_ about the music that really sticks out. This is because the musical stories are told in a crescendo style.
If I was to take a quick guess I'd say what is important (at least to me) is the experience of 'x'. There is some kind of value in participation. Such as participating in the experience of building a thing as a creator. Or the participation in the experience of receiving a gift one created. Or even the experience of being an observer 'I participated in going to "y".'
That's a rough paraphrase of something John Dewey says about what "art" is. There's also a lot written on the human condition in continental philosophy, and stuff like "being."
There is probably an overall cultural problem with it but it feels more difficult today to actually be informed.
Part of it is that there is the power structures whom hold knowledge. Either in a classical sense (universities, libraries, journalism), or through more recent companies which own either knowledge communities themselves, or _access_ to knowledge.
The other part of it is individuals treating information as entertainment. This probably isn't inherently a problem (learning should be fun), but it becomes an echo chamber of popularity based on half truths and trust based on upvotes rather than content.
A better web would allow users to learn, engage, interact, and grow with others. It seems like the more content out there the less information is actually available.
If you're vegan, eat whatever you want as long as it doesn't exploit an animal in any conceivable way.
Who cares about this uncanny fake-meats? Only people that exploit animals.
Every Phish tour starts the same way. Enter the lottery and hope to win tickets in some random spot.
Don't win lottery and join the Ticketmaster queue. Watch the site fall apart for an hour. Crashes at checkout and you're back to the end of the queue.
Go on Stubhub and pay 2x or more for the "big" shows (Halloween, NYE, etc).
But hey, also crashed chess.com.
Maybe?
I found Philosophy people to be curious, maybe not as curious as I was, but more curious than others I've met. And I'm sure other humanities degrees would say the same. I think curiosity probably comes with passion.
Now I'm dealing with finding programmers I meet to not be curious. Of course there are some very curious programmers, but lately I've been asking people _why_ they don't find programming itself interesting. I mean something more fundamental than "web programming is interesting." Not that it's not interesting (lots of interesting rfcs) but using a framework and doing the request/response isn't.
I think above is probably due to I am passionate about programming/comp sci, and others probably are passionate about other things.
Maybe I'll try reading it either after or in parallel with Lisp In Small Pieces.
These are longer term goals I have, my shorter term goals are focused on a lot of reading to prepare to start to tackle those things in the future.
Mostly I'd like to build toy projects of stuff we use every day, but from a good starting place, "the right way", not something hacked together over a weekend, but to learn the details that went into them.
Not interested in building another project with another library, but more so writing libraries.
2. Make changes
3. Commit changes at whatever point and write a good commit message about the feature.
4. Commit more.
5. Create feature/branch_rebase
6. Squash all the commits.
7. Push to fork
8. Make pull request
9. Make fixes and push those commits per fix.
10. Squash when merging back to that first commit.
I like having a separate rebase branch because then I have all my work in one branch and the history of what I did. Then I squash it and get rid of the that history, then maybe rebase main back into it if there we changes since I started the feature.
At the very least I was hoping they would explain how for
> Use pre-commit hooks to scan for secrets and other code risks before they get into code.
and
> Automate your security.
Good idea. How?
To answer the title. In the past I've used Owasp Zap to scan dev.