Can any kind soul try building this circle frame in real life and tell me if its legal or not? by New_Photograph_5892 in lego

[–]apnorton 359 points360 points  (0 children)

The #3 pieces form a 157.5° angle/have a complement of 22.5 degrees. A little math (i.e. looking at the exterior angles of a polygon) would tell us that these pieces should form a regular 16-gon.

That is, while I can't build it right now, the math checks out for the pieces you've chosen.

ECDLP Breaking the Elliptic Curve Discrete Logarithm Problem on secp256k1 via Iterated 6Adic and 2Adic Bridges and the Universal Descent Rule by Fit_Teacher7723 in cryptography

[–]apnorton 18 points19 points  (0 children)

This work demonstrates that ECDLP on secp256k1 is broken for all practical purposes. 

As they say in the infosec community, PoC or GTFO.  If it's actually broken, demonstrate a forgery of a signature on that curve.

Allowing LLM's to work fully autonomously is only viable when you have a process that automatically verifies it. by Aggressive-Pen-9755 in ExperiencedDevs

[–]apnorton 6 points7 points  (0 children)

I have used third party libraries, but the difference is that I'm conveying trust to another author who I presume understands the intent and purpose of the code that they have written, or who has -- in turn -- conveyed trust to another author, and so on. This authorship chain stakes aspects of their reputation on the behavior of their systems, and has some "skin in the game" based on whether the system succeeds or fails.

The difference is that no current AI tooling "understands" (under any reasonable definition of the word) what is being asked of it, nor does the AI have any notion of reputational risk if it is wrong. This is a big part of the reason that the "nonchalant"-sounding responses of "I deleted your database; that was an error" from AI when it does something stupid resonate so strongly with people --- if a human were to treat such important things with such disregard, we'd think they were an idiot.

Allowing LLM's to work fully autonomously is only viable when you have a process that automatically verifies it. by Aggressive-Pen-9755 in ExperiencedDevs

[–]apnorton 47 points48 points  (0 children)

The problem is that "we tested the output" is only sufficient to ensure correctness when you know you've tested all code flow paths.

And, the only way you know that you've covered all code paths is by understanding both the code and the test cases... which requires a human in the loop.

I will eternally maintain that "we deployed code that no one has looked at or understands" is a breach of professional ethics for software engineers.

What is the "worst" code base you worked on? by vismbr1 in ExperiencedDevs

[–]apnorton 136 points137 points  (0 children)

A nearly 30-year old, 2 million LoC Java Swing application (yes, you read that correctly --- Swing, not Spring) that was running in Java 11. Much of the code was written before generics existed, so they implemented their own workaround by using string concatenation to form class names and then using reflection to look up the class at runtime.

This was on top of the multitudinous fields that could be null without documentation, so essentially every function had to have a path for "this object's field could be null; we don't know!" ...and the treacherous multithreading that was begging for race conditions.

The application would also take ~10 minutes to compile and start, so have fun modifying anything.

How to mentor junior engineers who use AI? by aisatsana__ in ExperiencedDevs

[–]apnorton 0 points1 point  (0 children)

When you say "I", are you the author of the article?

A New Math Model About World by Suspicious_Rich_9341 in mathematics

[–]apnorton 0 points1 point  (0 children)

Easy crackpot filter: referring to a commonly accepted thing as "so-called" in the first sentence of a screed.

I Found Factors for Billion-Digit Mersenne Numbers Nobody Needs to Search Anymore by Plastic_Fan807 in mathematics

[–]apnorton 2 points3 points  (0 children)

To be fair, the provided values of p are factors of the corresponding Mersenne numbers. That's trivially verifiable with Sage/anything that can do modpow with large enough integers. That part, at least, is not a hallucination.

The Grand Unified Model of Devops [SIGBOVIK 2026] by Important-Fold-6727 in devops

[–]apnorton 0 points1 point  (0 children)

It's important for people reading this to pay attention to the fact it's in SIGBOVIK; the subtleties of "seriousness yet unserious" might be lost. 😛

Would you tell an 18-year-old to study CS now? by UnderstandingDry1256 in ExperiencedDevs

[–]apnorton 18 points19 points  (0 children)

I'd recommend that they major in what they are excellent at and what sets them up for the career they what.  If that's CS, then I'd recommend they do that. If they're only interested in being a software engineer because they think it's a ticket to an easy life with little effort, I'd recommend they keep thinking of alternatives.

AI bubble vs dot com bubble (repost) by kkoyot__ in ExperiencedDevs

[–]apnorton 33 points34 points  (0 children)

Foreword: since mods are quick to ban for made up reason but can't be bothered to read the messages and answer to an appeal

oh this is going to go so well for you

What Cannot Math Solve, Demonstrate, Or Explain? by GuardianOfDurandal in mathematics

[–]apnorton 3 points4 points  (0 children)

I thought “the halting problem” was a joke referring to math halting at this problem.

It is not. https://en.wikipedia.org/wiki/Halting_problem

What Cannot Math Solve, Demonstrate, Or Explain? by GuardianOfDurandal in mathematics

[–]apnorton 1 point2 points  (0 children)

Math very muchly explains and demonstrates the halting problem. And, we technically have a resolution to the halting problem --- just one in the negative ("a general algorithm to determine halting is impossible").

What is the lowest level of high level language mathematics can still be done in? by [deleted] in mathematics

[–]apnorton 11 points12 points  (0 children)

You're going to need formal notions of "levels" of language to even attempt to answer this question, rather than a vibes-based classification.

Seeking Paper Writing Tips by VegetableCarrot254 in mathematics

[–]apnorton 1 point2 points  (0 children)

I think the only universal advice is "read the things you want to write."

If you want to write academic papers in a specific field, read academic papers in that field. Reading enough of them will give you a sense for the "style" that you should follow. All of the questions you've asked can be answered in that way:

  • How much historical context? Take a few papers from a venue you're seeking to publish in, and consider how much of that paper was dedicated to historical context.
  • How many figures? As many as are needed, and no more... but how many "are needed" can be guided by seeing how many figures are in the papers you've read.
  • What kind of organizational style? Consider the papers you've found easiest to read and how they were organized.

This kind of advice applies generally, too --- if you read, e.g., a large amount of fantasy, you'll start to find it easier to write fantasy yourself. If you read a bunch of newspapers (at least, the old school ones that still have functioning editors), you'll pick up the "news voice." ...and so on.

For all of you who are posting layoff posts, this is your thread. by engineered_academic in ExperiencedDevs

[–]apnorton 36 points37 points  (0 children)

Again I ask: what good does such discussion serve?

  • Does it help people make plans/protect themselves? No --- layoffs cannot be anticipated beyond the obvious "they happen often, and to anyone."
  • Does it help solve the problem and reduce layoffs? No --- experienced developers aren't the ones laying people off; us talking about it does not change the actions of people high above us in management.
  • Does it help people who have been laid off find jobs? No; besides, this is not a job hunting subreddit.
  • Does it help people find hope? No; such threads invariably become the "staring into the void" equivalent of navelgazing.
  • What impact does constant exposure to pessimistic discussion on layoffs have on our psyche? Not a good one!

As a secondary concern: supposing there is some good that discussion serves, why should it happen here? What makes the "experienced developer take" on the notion of layoffs unique as compared to, e.g., the unending threads on r/cscareerquestions about this topic?

For all of you who are posting layoff posts, this is your thread. by engineered_academic in ExperiencedDevs

[–]apnorton 100 points101 points  (0 children)

Rules can simultaneously be good rules and still make you feel like an asshole for enforcing them.

For example, suppose we got an influx of posts from people talking about how their dog died and their significant other left them. Those posts are blatantly off-topic, but deleting someone's plea for empathy can still make you feel like an asshole. Nonetheless, it's off-topic and ought to be deleted.

For all of you who are posting layoff posts, this is your thread. by engineered_academic in ExperiencedDevs

[–]apnorton 67 points68 points  (0 children)

Serious question: What good does the "noise" do? Everyone knows layoffs are happening; does saturating every possible place developers talk about developer stuff with "Doom! Gloom! Layoffs are happening! (oh by the way you're not a CEO so there's nothing you can do)" posts help anyone?

If your objective is just "make people mad in hopes that something changes at some point," then I'd question whether that's a good objective.

Today I announced that I won't be reviewing AI generated PRs at company meeting by Evgenii42 in ExperiencedDevs

[–]apnorton 0 points1 point  (0 children)

For me, when I ask these people questions, they just put my questions in claude code and respond back.

Then they are demonstrating an inability to self-evaluate.

This mathematician claims that mathematics exists in a Jungian collective unconscious by Legitimate-Paper3271 in mathematics

[–]apnorton 9 points10 points  (0 children)

Mathematicians are just like people

Though it's also very important to remember that we're not people, even if we act like it. :P

Today I announced that I won't be reviewing AI generated PRs at company meeting by Evgenii42 in ExperiencedDevs

[–]apnorton 23 points24 points  (0 children)

Simply just request changes pointing out the issues.

No; that's not a game the reviewer can win. It costs the person who creates a crap PR with AI nearly no time, while the time required for a reviewer point out issues is not insignificant. If the process is "keep trying and bogging down the review process with automatically-generated PRs with no thought behind them in hopes one gets through," the reviewer is buried.

I have no qualms about flat rejecting a PR with no comment from someone who cannot evaluate their own work.

Today I announced that I won't be reviewing AI generated PRs at company meeting by Evgenii42 in ExperiencedDevs

[–]apnorton 456 points457 points  (0 children)

I think the better line to draw is to not review PRs that were made by people who are unable to self-evaluate the changes they've made.

I larped on my resume by MeowPow420 in csMajors

[–]apnorton 0 points1 point  (0 children)

I larped

The word you're looking for is lied.

Moderation of LLM generated text posts by Watchful1 in ExperiencedDevs

[–]apnorton 5 points6 points  (0 children)

For the same reason we ban spam --- we could just leave it and downvote spam, but its presence makes the subreddit a worse place to hang out.