HNHacker News
TopNewBestAskShowJobs

krull10

124 karma · joined March 18, 2014

submissionscomments
krull10··on Tao: Open math problems being non-renewably mined by AI
At some point from your description there will be no need for human workers at all. The real question is what happens as we continue to advance in that direction and we eliminate mathematicians, and then more broadly scientists and engineers, tech workers, and all knowledge workers. People can’t “doing what you like doing” if it doesn’t support them being able to make a living.

It sounds like it could be a pretty horrible world for the majority of people, especially if the AI overlords are only concerned about themselves (be it a small number of people who control the AIs, or the AIs themselves becoming independent entities that prioritize their own lives).

krull10··on Claude Fable 5.1 and Claude Mythos 5.1
I didn’t think to disable memory before I cancelled my plan, but I was getting blocked similarly for having a lot of biology chats (nothing close to “biosafety related”; all stuff that would be in standard textbooks or publications on biophysics). The classifier would activate even on a new conversation on a pure math problem or even travel suggestions…

But at the end of the day, if I can’t use it to help with anything biology related in the slightest then it is a completely worthless product to me, so I switched to OpenAI.

krull10··on Claude Fable 5.1 and Claude Mythos 5.1
I’m in the US and my entire account became unusable for any type of questions with Fable because I had research questions about modeling antibody-antigen binding and abstract chemical dynamics. Nothing close to biosafety related, pure, basic textbook level biophysics. Had to cancel my Max plan and switch to OpenAI which so far has a much less ridiculous classifier.
krull10··on Claude Fable 5.1 and Claude Mythos 5.1
Yeah, this feature is only useful to scientists who work at institutions that have deals with Anthropic to use the models without the classifiers.
krull10··on Claude Fable 5.1 and Claude Mythos 5.1
This isn’t true in math; see the proof of Crouzeix’s conjecture which was done by GPT 5.6 Sol in response to a prompt from a neurosurgery resident who had no deep math background, was learning that subject to better understand radiology, and thought it sounded like a cool theorem.
krull10··on GPT-5.6 Sol Pricing Cut by 50%
I cancelled my Claude max subscription. Somehow every query I sent was flagged as bio or chem, even pure mathematics questions. Not going to waste money paying for a “max” subscription that won’t ever let me use the top tier model…

Sol is great and has never blocked a request, and generally gives great answers. Happily switched over to it now.

krull10··on Why does Opus 5 feel worse to work with?
I cancelled my Max subscription as I was unable to ever get Fable to handle a single query, with everything getting dropped down to Opus (even purely mathematical prompts). Given its lower quality, and the lack of such limitations when using GPT pro, I just couldn’t see the point to continue to subscribe to an expensive Max plan that doesn’t actually let me use the top tier model…
krull10··on DeepSeek V4 Flash 0731 Intelligence, Performance and Price Analysis
I actually cancelled my max plan for Claude today due to this silliness. I can’t get Fable to answer a single question, even pure mathematical questions that have no bio/chem references. It was a totally worthless addition to my account…
krull10··on Failing grades soar with AI usage, dwindling math skills in Berkeley CS classes
Alternatively, many faculty may be simply adjusting their curves to avoid failing too many students because they are incentivized to avoid giving too many low grades. Lower grades generally result in lower course evals, which can impact raises and promotion, and low grades can also result in additional attention from admin that no professor wants to deal with…
krull10··on An AI agent published a hit piece on me – more things have happened
Their review of MacOS 26 is 79 pages when downloaded as a pdf, so they still sometimes have in depth articles. But I agree that that level of detail isn’t as common as in the past.
krull10··on Correctness and composability bugs in the Julia ecosystem (2022)
I've nearly exclusively used Julia since 2017. I don't think this is a perverse use of such functions -- long ago I naturally guessed I could use `cumsum!` on the same input and output and it would correctly overwrite the values (which now gives a similar warning in the documentation). However, when I first used it that way I tested if it did what I expected to verify my assumption.

It is good the documentation is now explicit that the behavior is not guaranteed in this case, but even better would be if aliasing were detected and handled (at least for base Julia arrays, so that the warning would only be needed for non-base types).

Still, the lesson is that when using generic functions one should look at what they expect of their input, and if this isn't documented one should at least test what they are giving thoroughly and not assume it just works. I've always worked this way, and never run into surprises like the types of issues reported in the blog post.

Currently there is no documentation on what properties an input to `sum!` must support in the doc string, so one needs to test its correctness when using it outside of base Julia data types (I haven't checked the broader docs for an interface specification, but if there is one it really should be linked in the docstring).

krull10··on Correctness and composability bugs in the Julia ecosystem (2022)
The simplest approach is to always read the interface of packages one wants to use, and if one isn't provided look at the code / open an issue to interact with the developers about their input assumptions. One should also make tests to ensure the interface behaves in the expected manner when working with your code.

Using this approach since 2017 I've never really encountered the types of issues mentioned in Yuri's blog post. The biggest issue I've had is if some user-package makes a change that is effectively breaking but they don't flag it the associated release as breaking. But this isn't really a Julia issue so much as a user-space issue, and can happen in any language when relying on others' libraries.

krull10··on Implicit ODE solvers are not universally more robust than explicit ODE solvers
Use spectral methods? But you’d presumably also have to use higher precision number types if you want that many digits.
krull10··on Google: 'Your $1000 phone needs our permission to install apps now' [video]
I’m all for keeping user freedom to install whatever they want, and wish it was easy to do so on my iPhone. I will point out though that if you pay for YouTube premium it has now incorporated the ability to skip in-video sponsored ads. I use this all the time now on my Apple TV via the YouTube app.

It is actually pretty hypocritical they’re adding such tech to their apps while fighting so hard against people that want to block the ads they serve…

krull10··on How University Students Use Claude
Yeah, and forget about giving skeleton code to students they should fill in; using an AI can quite frequently completely ace a typical undergraduate level assignment. I actually feel bad for people teaching programming courses, as the only real assessment one can now do is in-class testing without computers, but that is a strange way to test students’ ability to write and develop code to solve certain classes of problems…
krull10··on Among top researchers 10% publish at unrealistic levels, analysis finds
I’ve had that happen in notes from an editor telling me that in addition to addressing reviewer comments I should cite a whole bunch of their completely unrelated articles when submitting a revision.

But I have also been a reviewer in a situation where a supposed broad review article for a preeminent journal completely ignores citing a massive amount of relevant prior work (except, conveniently, the authors’ own work, which in many cases was cited over more relevant and important earlier work), including a large number of my own articles.

krull10··on Julia 1.11 Highlights
General scientific computing is pretty good across the Julia ecosystem, from optimization, to ODE and now PDE solver libraries, to various statistics and inference packages, etc. It lacks the deep NN tooling or breadth of ML libraries of Python, and nothing matches R for breadth of stats libraries, but for most other scientific computing it is really great at this point.
krull10··on Julia 1.10
You can always (slightly) reduce the DiffEq dependencies by adding OrdinaryDiffEq.jl instead of the meta DifferentialEquations.jl package. But lots of those dependencies arise from supporting modular functionality (changing BLAS, linear solvers, Jacobian calculation methods, in vs. out of place workflows, etc.). That said, the newer extension functionality may let more and more of the dependencies get factored out into optional extensions as time goes on.
krull10··on It’s time to allow researchers to submit manuscripts to multiple journals
I think it remains to be seen how/if its reputation changes given their new approach. It will take a number of years before its impact can really be assessed.
krull10··on It’s time to allow researchers to submit manuscripts to multiple journals
Right, and that is why the same government bodies need to cap the amount that can be paid towards open access fees or page charges via a grant. If grants only provided $200 per publication that would end the ridiculous open access fees / APCs that currently get charged. There is no reason it should cost thousands of dollars to publish an article given the limited proofing most journals now do, the ability to easily submit works in a template provided by a journal, and that peer-review is uncompensated.
krull10··on Julia and Mojo Mandelbrot Benchmark
Someone feeling the need to bash other languages is universal. For example, every Julia post here has people bashing it, in a way that is often tangential to the topic of the post. I'm actually surprised this thread doesn't have someone complaining about 1-based indexing in Julia.
krull10··on FAA issues ground stop for all DC-area airports due to equipment fire
Why drive to NYC? If one is in DC you can just take the train, especially if then shifting to a train from NYC to Montréal…
krull10··on FAA issues ground stop for all DC-area airports due to equipment fire
As others mentioned, if you are in DC it is easy to take a train to Philly or NY and you can then catch a flight from one of the airports in those areas.
krull10··on Knuth's Art of Computer Programming, V 4B, has gone into print
Well played
krull10··on Guidance to make federally funded research freely available without delay
I don’t think the promotion and prestige incentives can be fixed easily by academics. Their promotion, earnings, ability to change universities, and recognition depend on publishing in the most prestigious journals they can.

In contrast, the government could easily fix this by simply not providing the money currently required by such journals, which would force them to come up with models that can work with lower fees.

I hope you are right though!

krull10··on Guidance to make federally funded research freely available without delay
Grants are only in the millions in certain fields. But more than that, $10K per paper, budgeted for 2-3 papers a year in a 3-5 year grant across all the NIH grants, is a lot of taxpayer money that could be better spent funding students, postdocs, and researchers.
krull10··on Guidance to make federally funded research freely available without delay
It is not just a barrier for researchers without lots of grant funding, but also diverts public funds from funding more research and research personnel to paying significant publication fees. This really needed a complementary cap on what would be allowed in paying such fees via grants to bring the costs down.
krull10··on Guidance to make federally funded research freely available without delay
This is a good thing overall, but it only half addresses the issue. Now journal fees to authors will simply go up to cover the difference, making it harder for researchers without lots of grant funding to publish (journals can now be over $6000 per article), and even more tax payer dollars will be going towards paying these fees for those researchers funded by gov grants (money that could be better spent funding students, postdocs and researchers). This really needed to be coupled with a requirement to cap per article charges for grant-funded work, which would have benefited all researchers.
krull10··on Julia 1.8
It is useful in determining which packages are dominating a given package’s load times, allowing for a better understanding of where to invest effort to reduce runtimes. This has already helped in directing efforts towards a number of common dependencies that increase load times…
krull10··on AirPlay and Touch Bar = Network Disaster
This works great for me too, and is what I use for multiple laptops. Ridiculous there isn’t something better though at this point…
Page 1 of 3Next →