spectrums_coherence

Brother never understood conditional probability.

No I think you are thinking of calyx. Graphene repeatedly asserted that they won’t support fairphone because of the slow update.

I have a controversial take and a very bold guess: CS principle will be more important than ever when you graduate college.

1. CS enrollment is way down especially in the U.S. because of AI scare.
2. Old programmers are mostly retired during the AI hype period

Both of these mean that the supply of programers will be way down when you graduate.

1. AI have been slopping out code that might break within couple years. We have seen many service degrade, but not much critical failure yet, these could come later.
2. Most open source project has began to ban pure LLM contributions. Even Rust disallow LLM-generated code with very minor exceptions. Likely company are going to do the same
3. People who go to a simple coding bootcamp will not be competitive when LLM is in the picture, nobody need a programmer to “make the button bigger” anymore.

All these said, the demand for “good programmer” likely will not go down. If you study hard, do side projects, and build connection during college, you will likely be at a huge advantage after 3 or 4 years.

Of course, there will also be risks, i.e. that LLMs actually wipe out all programming jobs, which it is unlikely, but also not impossible.

Maybe a bit more context would help:

• Different part of China have drastically different food culture. In general the south east or specifically Jiangsu uses less seasoning than many other region of China.
• I am from Chongqing, a region famous for inventing spicy hot pot and using heavy seasoning. Yet, when I grow up, plain fried rice is the norm in Chongqing (along with other heavily seasoned dishes): just egg, lard, rice, salt, and msg, even scallion and white pepper is optional. There is definitely no garlic, chilli oil, and soy sauce in there.
• this community is c/cooking not c/masterchef. OP’s cooking is not perfect, so is most people in this world, and that is okay. There is no need to be mad about it.

All I am trying to say is that 1) different region have different interpretation of the same food, and different people prefer different versions 2) even if OP don’t have great cooking, there is no need to be hyper critical about it. OP is feeding themself, and generous share their food image here for free.

I hope we can all agree fried rice is not the thing that is worth our anger now (plenty of other things in the world are). Thus, I hope we can stop this argument here, and move on to more important things in our life

Excuse me what does libral art refers to here? In my head, half of STEM are libral art subjects: math, physics, chemistry, economics, psychlogy, sociology, and etc.

1. That is way too big of an umbrella
2. They cannot by that unemployable

Liberal arts education (from Latin liberalis ‘free’ and ars ‘art or principled practice’)[1] is a traditional academic course in Western higher education, which traditionally covers the natural and formal sciences, social sciences, arts, and humanities.

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

Just FYI, said “little village” have 85 million people, more than twice the population of the most populous state in the U.S. (california), which only have 39 million. The same village also have higher population than the entirety of Germany (thrid populous country in Europe with 84 million people, only behind Russia and Turkey)

• https://en.wikipedia.org/wiki/Jiangsu
• https://en.wikipedia.org/wiki/List_of_U.S._states_and_territories_by_population
• https://en.wikipedia.org/wiki/List_of_U.S._states_and_territories_by_population

Oh my, no MSG?? Hayaaa!

Typst is great! You can sperate the code for data from the code to render the CV, thus adapt to any format without changing the data.

Is the financial institution you are currently borrowing from required by law to comply with refinancing? If not, it is hard for me to see how they would allow this, since you usually refinance for a better deal.

I think that is contrapositive, not transitive.

When math department is loosing, they ask Banach Tarski to turn 1 ball into 2-ball, now they can win in frisbee.

I used to have one broken point, then Banach and Tarski looked at it, now I have a Banach fixed point and a Tarski fixed point

I wouldn’t even listen to it for money (unless it is a lot of money

Company Reps Left, Feeling “Unsafe”.

So does everyone who might suffer from the pollution, noise, and increased utility bill from data center.

Asking LLM to turn “idea” (instead of detailed spec) into a gigantic codebase is like asking your spell checker to write your essays.

Mathematics, and really any other subject, are not just about solving formalized problem. It is much more important to understand what question to ask.

One of my colleague once said the definitions in a good (computer science) paper should be the most interesting part, theorem statements should be the second interesting, and the proofs should be obvious.

Formal proof means nothing if it cannot give us insight in other proofs.

Same with open problems, Mathematician love open problems because given that no expert are able to solve them, their solution likely involves novel mathematical ideas. Fermat’s last theorem on its own is no where near as interesting as the mathematics that leads to its soluion.

Given that AI have yet to be able to wield the mathematical corpus effectively in solving large projects (or even fully autonomously improve large software), it would need human guidence, and by that, human experts are needed to understand the problem.

To qoute another one of my colleagues, people orchestrated AI to solve an open problem are simply the apple falling on Newton’s head. Apple “knows” about the existence of gravity, because its motion follows it, but it takes a Newton to formulate and explain gravity that leads to a number of technological advancement later. Without the question “why do apple fall”, apple will keep falling, we will keep noticing it, but we would never turn that observation into useful technologies we enjoy today.

You are working on a PhD, depends on the subject and your effort, you likely will have a better job in no time, right :)

Suppose we had a library filled with proofs of every theorem [in mathematics], as well as excellent guides that could, given a question, take us to the answer and explain it. What would a mathematician do in such a library?

If you ask the question this way, the answer becomes clear: they would be unbelievably excited, and immediately get to work. They would immediately start asking questions: how does one prove the Riemann hypothesis? The Hodge conjecture? Their own pet obsession (in my case, the Grothendieck-Katz p-curvature conjecture)? Then they would work until they understood the answer. The job would not be done, not even close.

This paragraph by Daniel Litt feels to me like hubris coming from someone in the position of power. Many tech-optimistic mathematician are not at the risk of being replaced by AI because they are either on the tenure track or already tenured.

We need to acknowledge that mathematics is a subject of more human importance than economical importance. In this hyper profit driven world, field without a primary economical drive will necessarily shrink significantly.

Mathematics have no doubt experienced that: in the cold war, mathematics is behind most of the technological advancement that lead to concrete economical output. Later, as many of these fields stablized, engineer and computer scientists takes the place of mathematician, and mathematics shrunk significantly.

Now mathematics still holds importance because people believe it still encapsulates important ideas that have the potential to be the next generation of economical driver force. And mathematicians are important to preserve and disseminate such knowledge.

So if such truth oracle described above can develop and articulate any mathematical idea better than (or even close to the quality of) any mathematicians, it would be fun for established mathematician to flip through the answer sheets of their puzzle, but it would kill the financial driver and wipe out most of professional mathematics with it.

I programmed pretty intensively in OCaml a couple years ago to get a better understanding of the language.

It is a fine language, perfectly suited for general purpose programming, and is in general decently ergonomic. I personally won’t use it as my perfered language though. I find the functor/module system way too powerful, and can easily cause confusion in complex settings. There really is no better system for adhoc polymorphism than type classes. But people standby modules though.

I feel the good part of OCaml are generally avaliable in most good programming language, thus I kind of feel that the share for OCaml might slowly getting eaten by Rust, but we will see.

Or just eat tofu.

Many parts of the world were mostly vegan until very recently, but that doesn’t stop them from developing amazing cuisines.

Most people in non-herding economy simply cannot afford meat just a couple hundred years ago.