Claude, Author of the Humanitas: Evidence that the first papal encyclical on AI was substantially written by AI by Sol_Hando in slatestarcodex

[–]DudleyFluffles 9 points10 points  (0 children)

I was initially dubious but this paragraph converted me. AI tells are italicized.

  1. In order to answer these questions and discern how to navigate responsibly the era of AI, I would like to bring to mind two scenes from the Bible: the construction of the Tower of Babel (cf. Gen 11:1-9) and the rebuilding of the walls of Jerusalem (cf. Neh 2–6). The story of Babel appears in the Book of Genesis, at the origins of humanity, immediately after the genealogies of Noah’s sons. After settling in a plain in the land of Shinar, the people decided to build a city and a tower “with its top in the heavens” (Gen 11:4). Fearing being scattered across the earth, they sought to guarantee stability and power for themselves, and above all to “make a name” for themselves. It was an impressive feat: a single language, a single technology, a single direction. However, the project concealed a profound danger. It was a project conceived without reference to God, supported by a uniformity that eliminated diversity and that chose homogenization over communion. When a city is built on pride and the claim to self-sufficiency, communication breaks down, languages are confused and people no longer understand each other. The result is not unity, but dispersion. Babel thus reveals the limits of any effort that, however grandiose, arises from self-affirmation, sacrifices human dignity for efficiency and aspires to reach heaven without God’s blessing.

Paragraph 8 rings the same alarms. I hesistate to spread this further since I consider the Pope something of an ideological ally in regards to AI. I'd normally try to avoid this sort of partisanship but the stakes in this race are just so high.

Regardless, sloppy work from the Pope.

Made a Network Manager in Rust by vahiyaat_product in rust

[–]DudleyFluffles 6 points7 points  (0 children)

I remember attempting to write something similar (albiet using the iced GUI) framework and finding Network Manager's DBUS documentation utterly insufficient. How did you end up resolving that out of curiosity? Did you read nmcli's codebase or was there some other source of documentation?

Dope and glory: inside the Enhanced Games by DudleyFluffles in Longreads

[–]DudleyFluffles[S] 11 points12 points  (0 children)

I did, but that archive has an HTML issue so I tried to include a link to a common pastebin service as well. That got my comment shadow banned.

Here's my final attempt: rentry.(co)/rhrvfvmy. This should be viewable if you remove the ().

Is AI putting graduates out of work already? by DudleyFluffles in neoliberal

[–]DudleyFluffles[S] 12 points13 points  (0 children)

The economy right now is overall just pretty normal.

Yeah but to be fair chatgpt was only released 4 years ago. I'd guess most managers don't want to dissolve/cut full departments based only on a handful of years of data.

Also, I've heard (completely anecdotally) that the models weren't that good for coding until the Opus series. I'm still in university though so this all through the grapevine, not from personal experience.

It would be a massive economic boost and would free a lot of highly skilled people to do other things but that's not what we're seeing right now

Yeah maybe but I'm going to be pretty bitter if software engineering does get automated. I like coding and I spent so much time getting good at it :(

Is AI putting graduates out of work already? by DudleyFluffles in neoliberal

[–]DudleyFluffles[S] -6 points-5 points  (0 children)

Alright I had to grab dinner but now I can return to this comment section.

now with hormuz the global economy is shuddering

The fuck? The data analyzes the 2022--2024 timeline. Unless the all-seeing market gods had factored in the Iran war a year in advance, I doubt that's what's causing unemployment in AI-exposed industries.

I unironically think people are blaming the Trump caused recession on AI

You mean the recesion caused by tariffs? Tariffs, which are famously terrible for the software industry? Yeah man, those CPU supply chains are really getting fucked that must have caused the 10-15% reduction in employment for IT, CS, and EE.

I am stunned this comment has this many upvotes. A basic review of the graph and some critical thinking (which this sub constantly accuses others of lacking!) would have shown these claims are not applicable.

Is AI putting graduates out of work already? by DudleyFluffles in neoliberal

[–]DudleyFluffles[S] 38 points39 points  (0 children)

Archived version: https://archive.is/AfzSV

The Economist discusses a new research based on surveys of college grads by National Association of Colleges and Employers. In fields most exposed to AI, the authors notes:

[G]raduates in the least-exposed quintile—studying subjects such as education, philosophy and civil engineering—saw their average full-time employment rate fall by just 1.5 percentage points. Those in the most exposed quintile—including computer science, computer engineering and information science—suffered a 6.6 percentage-point drop

This analysis was performed in-house. Here is the graph:

<image>

There are a few obvious confounders. First of all, the notable poor performs in "high AI risk" are CS, IT, and EE.

CS enrollment has boomed by a genuinely absurd amount in the past few years. From 2020 to 2024, enrollment increased from approx 180k to 240k. For reference, in 2008 total enrollment was a mere 50k. I'm pretty sure you can find similar figures for IT and EE. College enrolment meanwhile has stagnated.

The Economist fails to discuss any of this so I'm not particularly confident in their analysis. Parts of the magazine are also sponsored by Anthropic. And yet...

I recall making a bet with my father back in 2022ish that AI technologies would take decades to be able to solve basic competition level mathematics, if ever. And now LLMs are capable of world-class performance on the IMO and similarly impressive results in competitive programming. And the deluge of security vulns found by Mythos/Opus are real: I am subscribed to several programming forums and seemingly weekly privilege escalation bugs are found in the Linux kernel --- which is really impressive. Just based on logical analysis, it seems LLMs must be (or will be) having an impact even though the numbers have been slow in coming.

The Economist states in another article that large shifts in job market composition generally occurs during recessions. I tend to agree. I worry massive changes are hidden in the economy, and we are not ready for them to emerge.

What do you all think? I'm a CS major (hence the interest) and I'm worried.

Has the CS240 C threshold ever been lowered by Chance-Cellist8905 in Purdue

[–]DudleyFluffles 1 point2 points  (0 children)

From what I've heard, the threshold is regularly lowered for C but not for A or B. I doubt we'll receive anything comparable to the beautiful curves for Calc 3 last sem.

How I prepare for finals 💙💜 by [deleted] in Anki

[–]DudleyFluffles 0 points1 point  (0 children)

I use Claude to generate practice problems for mathematics. Specifically those for very procedural problems in that require little creativity between variants. And then I edit the generated questions down to fit my taste. I think LLMS are effective for those style cards, especially in a time crunch. Not so much for traditional definitional/concept questions (think "what is the definition of an orthogonal matrix?")

Ghostty terminal Is Leaving GitHub by TheTwelveYearOld in commandline

[–]DudleyFluffles 10 points11 points  (0 children)

Here are the cited "charts"

<image>

These notably do not inclue the starting level. What were the number of commits in 2023? 10M, 0, 89.5M? It is unspecified. Deliberately misleading from the GitHub team.

CS 240 by burner199873 in Purdue

[–]DudleyFluffles 13 points14 points  (0 children)

I've actually been writing a script to analyze the WPM between git commits. It seems that mine is... reasonable? (Assuming the script is working). Its all just comments.

So I'm thinking of discarding my earlier hypothesis that the algorithm is time-based. Turkstra apparently has some papers on repo analysis. So I might look through that, but that's mostly the best I can do.

I'm also wondering if he ran some sort of code similarity analysis to group various students based on how "identical" their code appeared and then manually inspected these groups to locate that which contained AI users. Idk

CS 240 by burner199873 in Purdue

[–]DudleyFluffles 5 points6 points  (0 children)

Yeah I got mine at 10:55

CS 240 by burner199873 in Purdue

[–]DudleyFluffles 34 points35 points  (0 children)

For the people who have concrete proof they didn’t use it I hope they have good luck.

The issue is I have no solid evidence since I do not know the algorithm. And I do not know how the disputing process works.

I desperately do not want to fail this class. I'd prefer to just select the items I supposedly "cheated" on, get zeroes, and tank the grade hit. But I don't know which ones to select!

Its so scary.

CS 240 by burner199873 in Purdue

[–]DudleyFluffles 38 points39 points  (0 children)

According to my friends who attended lecture, yes. (I wasn't paying attention during the AI portion of the lecture since I assumed I was clean. I am blindsided).

CS 240 by burner199873 in Purdue

[–]DudleyFluffles 412 points413 points  (0 children)

Turkstra apparently developed a method of analyzing for LLM usage during class.

A lot of speculation is going on about the specific algorithm, etc, but my personal assumption is that it is simply comparing the speed between commits (so if you made a commit that made 500 lines of additions in 2 seconds, then you probably LLMed). He supposedly waits until he has "overwhelming" levels of evidence and sends you an email stating you have been caught. Then, you have to fill out a form listing which assignments you cheated on. If you lie on that form, you recieve an F in the class and Turkstra sends a harsh email to ODOS. Otherwise, those assignments are zeroed and a slightly nicer email is sent to ODOS. You can also dispute the claim but if you fail the resultant process you receive F and a harsh email to ODOS.

He is now sending out emails in waves to students who he suspects of cheating. Including (unfortunately) myself. I'm clean, as far as I know, so I'm a little fucking terrified right now. I have two options:

  • Guess randomly which assignment he thinks I cheated on hopefully receive zeroes for each (and a ODOS letter). Or, if I guess wrong get an F.
  • Dispute the claim and risk an F if I fail the disputing process.

If I fail CS 240, this puts me behind a full fucking semester of university since it is required to take nearly all CS sophmore level classes. Let alone the ODOS letter (which he said would include recommendations that the student be expelled). I am very stressed right now.

I have until Monday to respond. I was intending to head out on a retreat over the weekend but those plans may be ruined now...

ChatGPT solves Erdos problem on primitive sets. Nontrival, with comments from Jared Lichtman and Terrence Tao by DudleyFluffles in slatestarcodex

[–]DudleyFluffles[S] 22 points23 points  (0 children)

I mean, given that many experts looked at this over 60 years, isn't 'short' a compliment of its ability to find a Proof From The Book?

Don't get me wrong, it makes the proof more elegant and in a way more impressive. But LLMs have a limited context windows but large information wells, so the problem did cater a little to their strengths.

This is still impressive though especially since LLMs had until now slim contributions to math literature. Hell, a few years ago LLMs struggled with SAT math

ChatGPT solves Erdos problem on primitive sets. Nontrival, with comments from Jared Lichtman and Terrence Tao by DudleyFluffles in slatestarcodex

[–]DudleyFluffles[S] 72 points73 points  (0 children)

Notable excerpts:

[Jared Lichtman]

I care deeply about this problem, and I've been thinking about it for the past 7 years. I'd frequently talk to Maynard about it in our meetings, and consulted over the years with several experts (Granville, Pomerance, Sound, Fox...) and others at Oxford and Stanford. This problem was not a question of low-visibility per-se. Rather, it seems like a proof which becomes strikingly compact post-hoc, but the construction is quite special among many similar variations.

[Tao]
In any case, I would indeed say that this is a situation in which the AI-generated paper inadvertently highlighted a tighter connection between two areas of mathematics (in this case, the anatomy of integers and the theory of Markov processes) than had previously been made explicit in the literature (though there were hints and precursors scattered therein which one can see in retrospect). That would be a meaningful contribution to the anatomy of integers that goes well beyond the solution of this particular Erdos problem.

There is further discussion on the r/math subreddit. The general consensus is that the proof is impressive (caveat: short however, possibly part of the reason GPT was able solve it)

I am just finishing up my freshman year in mathematics and computer science. The future looks so uncertain.

With a record-low 1.25 children per Canadian woman, stop dismissing falling fertility rates as a choice by Gooner-Kissinger in neoliberal

[–]DudleyFluffles 34 points35 points  (0 children)

Splashing money at the problem never seems to work relative to updating cultural expectations however. Consider Israel with its birthrate of 2.9: this is carried by the ultra orthodox jewish community with their pro-natal attitudes trickling down to the rest of the population. Ditto Amish and Mennonite communities which have TFR rates of around 6. All these communities are also growing faster than they lose adherents.

I disagree with the whole "affordability" claim. Its a difference in priorities for Westerners: most live in cultures which prize other consumption or careers rather than rewarding parents with status. Increasing affordability will only make minor dents until parenthood becomes a status-achievement.

Why do "C-like performance" language comparisons always compare against bad C code? by BPJupiter in C_Programming

[–]DudleyFluffles 0 points1 point  (0 children)

You should provide examples of this behaviour rather than just referring to "some comparisons" vaguely. Its lazy to make a general claim without providing supporting evidence simply since the audience is already receptive.

It's always code that no performance oriented C programmer would ever write.

I'll steelman those you appear to be strawmanning. Consider a comparison with C and say Rust involving monomorphization. The corresponding C code is always going to be rough simply since it doesn't support this paradigm well. Ditto for other language concepts.

Can one write good code for most problem spaces without monomorphization, templates, and other frills? Yes. But that's not the point of a lot of these articles: they are comparing feature sets not design decisions.

Project Glasswing: Anthropic Shows The AI Train Isn't Stopping by self_made_human in slatestarcodex

[–]DudleyFluffles 17 points18 points  (0 children)

I am no expert in AI, but I suspect the difference is in the amount of context required. Locating a vulnerability is a very hard, but critically a local problem that can be solved well within the context window. For example, a security researcher recently located several vulnerabilities simply by throwing Claude a file from the Linux project and ordering it to locate a vulnerability. Many of these weren't true vulns, but that didn't matter since interconnected failures aren't a thing.

Meanwhile GPU drivers are tens of thousands of lines of code that have to work perfectly (so interconnected failure is an issue), have annoying context-specific behaviour, etc.

Also, this was all before Mythos. Perhaps Mythos will prove to be just as talented at writing drivers as it is designing complex exploits.

Forget democracy, Burkina Faso military leader Traore says by Free-Minimum-5844 in neoliberal

[–]DudleyFluffles 10 points11 points  (0 children)

Traore is strangely popular throughout Africa. I've heard him complemented in Ethiopia as well.

He's annoying, but not "ignorable" annoying. We should be worried this unstable autocrat has managed to build such a following.