lanstin

8 ms·

1.
by lanstin 7d ago
To the extent the LLM copied the plagiarized work, no. Like a number of the Erdos problem solutions turned out to be based on forgotten literature. So the drama matters even for the assessment of the mega agent work.
2.
by lanstin 7d ago
Because the mathematicians consulted 25 or so years ago believed their solutions would lead to the greatest amount of interesting new maths to explore, and because they had been validated as being hard by being attempted and not solved for
3.
by lanstin 7d ago
I have never heard this theory that mathematics is finishable before.
4.
by lanstin 7d ago
It isn’t even as constrained by material reality as mixing oil paints to get a certain effect is.
5.
by lanstin 8d ago
It is true for mathematics certainly. I would guess it is less true for science per se.
6.
by lanstin 8d ago
And OpenAI and some math researchers and an Anthropic employee are squabbling about credit. Big day and shows the ability of the models for counter-examples.
7.
AI may have just solved a million-dollar math problem(scientificamerican.com)
10 points by lanstin 8d ago|8 comments
8.
by lanstin 8d ago
Navier-Stokes blow-up counter example found.
9.
by lanstin 9d ago
Marching band.
10.
by lanstin 11d ago
I like jquery. I only do websites for data viz things so I don't follow all the frameworks and so on, I just want some nice D3 graphs and tabular reports and to have it be clear enough JavaScript that I can look at the math and maybe
11.
by lanstin 12d ago
Reply to sibling - lean4 doesn't rest on ZF or ZFC. https://lean-lang.org/theorem_proving_in_lean4/Axioms-and-Co... However I believe an equivalence of power has been shown between the two.
12.
by lanstin 15d ago
Brevity is the soul of wit.
13.
by lanstin 18d ago
Remember: MBAs are sociopathic by training. (Source, worked for multiple tech companies that were laser focused on delighting customers until money people came in and ruined it, to the point they would prefer devs sit idle than work on thin
14.
by lanstin 19d ago
It is irrational however.
15.
by lanstin 19d ago
Xenos = foreigner, Phobia = fear or dread. Treating the hard working and generally cool people that come to the US as being in the same boat as all us humans but bringing interestingly different solutions for how to conduct our affairs is n
16.
by lanstin 19d ago
Allowing more carbon dioxide sources is going to be distinctly harmful to profits in the mid-term. As with racial bias, strict gender roles, anti-vaxxing, and being anti-science, being pro-carbon burn is ultimately a foolish anti-truth sta
17.
by lanstin 21d ago
I know a lot of people that support these cruel and chaotic changes to our immigration laws and they are mostly xenophobic - they don’t like people speaking languages other than English at the store, they don’t like religions different than
18.
by lanstin 21d ago
And the interesting details are often wrong or missed.
19.
by lanstin 21d ago
LOL: from the RFCs: “In protocol design, perfection has been reached not when there is nothing left to add, but when there is nothing left to take away.” (from https://www.rfc-editor.org/info/rfc1925/ )
20.
by lanstin 22d ago
There's a lot of 10% improvements between 0.1 and 0.
21.
by lanstin 22d ago
Also when you are 80 something can go from a bit of a cold to deadly dangerous real quick.
22.
by lanstin 23d ago
cheaply dropping log msgs you cannot handle is absolutely essential for an observability system - otherwise excess load can take down the logging infra which can (if msgs aren't dropped) take down the prod network/app trying to se
23.
by lanstin 23d ago
I mean I use coffee quite a lot to prop up my software career. I don’t really find purity to be useful for anything except to answer questions like “should I steal this money now that I am alone” or “should I backstab this friend who pissed
24.
by lanstin 23d ago
We have gotten better at working as a group. The standard model is a tour de force. It was a collaborative effort over decades but is a lot more complex than anything Einstein did. To some extent we haven’t gotten new physics since then bec
25.
by lanstin 23d ago
Man, Usenet had the best online discourse - hardly any angry personal flaming because people dared to disagree. And Twitter, wow that was just pure rationality. slashdot - practically a masters program. Now, they all did have gems of inter
26.
by lanstin 23d ago
I think we'll find that the people doing that, like the people spending all their time and energy reading slasher pulp fiction in the 1950s, won't be doing as well as the people learning to enhance the power of their education and
27.
by lanstin 23d ago
I also can't make butter by churning or soap from lye and animal fat or what ever. However, I can use mathematica to demonstrate the criteria for various forms topological stability of solutions to many types of differential equations.
28.
by lanstin 23d ago
Because the 1890s and 1930s were famous for their population wide critical thinking, of course. Good heavens, what do they teach in the schools these days.
29.
by lanstin 23d ago
Yeah, I have to say some of this deskilling argument sounds like Socrates complaining about the invention of writing ruining people's ability to truly own the text. I really don't mourn my lost assembly skills or my lost C skills.
30.
by lanstin 26d ago
I just took a Waymo in San Jose, having taken a few from San Francisco - it dropped me off in a place that would have made sense in SF (across the street from my destination at a light, avoiding a U turn) but was terrible in the suburban st

More ›