lanstin

4 ms·

1.
by lanstin 5d ago
Yeah. Like I had Claude code write an upload Slab script, and a few linear integration scripts, now it just runs these to interact with those systems. I had it write a redshift proxy that doesn’t take login creds and is just a logging read
2.
by lanstin 10d ago
I worked at a 4 1/2 nines (99.997) place and it was pretty standard to speak of half-nines at least (although on reflection, perhaps not everyone understood that 0.7 was 1/2 of 0.9 and thought 99.995 was "4 and a half nines&q
3.
by lanstin 10d ago
"Failed customer interactions" - if you have a way to actually see requests before they hit your datacenter, e.g. some async third party client libraries.
4.
by lanstin 17d 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.
5.
by lanstin 17d 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
6.
by lanstin 17d ago
I have never heard this theory that mathematics is finishable before.
7.
by lanstin 17d ago
It isn’t even as constrained by material reality as mixing oil paints to get a certain effect is.
8.
by lanstin 17d ago
It is true for mathematics certainly. I would guess it is less true for science per se.
9.
by lanstin 18d 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.
10.
AI may have just solved a million-dollar math problem(scientificamerican.com)
10 points by lanstin 18d ago|8 comments
11.
by lanstin 18d ago
Navier-Stokes blow-up counter example found.
12.
by lanstin 19d ago
Marching band.
13.
by lanstin 21d 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
14.
by lanstin 22d 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.
15.
by lanstin 25d ago
Brevity is the soul of wit.
16.
by lanstin 28d 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
17.
by lanstin 29d ago
It is irrational however.
18.
by lanstin 29d 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
19.
by lanstin 29d 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
20.
by lanstin 1mo 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
21.
by lanstin 1mo ago
And the interesting details are often wrong or missed.
22.
by lanstin 1mo 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/ )
23.
by lanstin 1mo ago
There's a lot of 10% improvements between 0.1 and 0.
24.
by lanstin 1mo ago
Also when you are 80 something can go from a bit of a cold to deadly dangerous real quick.
25.
by lanstin 1mo 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
26.
by lanstin 1mo 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
27.
by lanstin 1mo 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
28.
by lanstin 1mo 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
29.
by lanstin 1mo 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
30.
by lanstin 1mo 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.

More ›