waynecochran

3 ms·

1.
by waynecochran 8d ago
My premise was that the proof was opaque -- i.e., no insight was to be gained from it.
2.
by waynecochran 9d ago
I am not sure this is either end. An obscure proof to RH or P < NP does not seem to solve anything -- seems to leave us right where we are -- that was my point. We would know a fact for which we could do nothing with nor gain any new ins
3.
by waynecochran 9d ago
Would it matter if AI had a proof for RH or P < NP, but the proof was 1000 pages long that Leaf could verify but otherwise impenetrable by a human mind? We generally assume these are true already -- I am not sure a long convoluted proof
4.
by waynecochran 11d ago
Again with the gatekeeping. An AI generating a convoluted proof for some conjecture is not gatekeeping. It just does not care if you understand. It only cares enough that it can be verified -- usually using some other opaque proof tool like
5.
by waynecochran 12d ago
Folks keep using the word "gate keeping" -- I never used that term nor implied intentional gate keeping. It's simply not caring if those outside the club understand -- there is no one guarding the door its just folks don&#x27
6.
by waynecochran 12d ago
I am not thinking of intentional gatekeeping, but more of the kind where mathematicians build themselves their own island of concepts and notation with no thought of building a passageway for others to engage and make use of the theory. I
7.
by waynecochran 12d ago
It is not lowering the bar to find better ways to demystify and explain things. In fact, I would say those who can explain it well understand it the best. Richard Feynman would be my best example.
8.
by waynecochran 12d ago
As someone who has a degree in math, I still can't help but think mathematicians are getting a little bit of a comeuppance. In a lot of areas of mathematics there had been little effort to make the work understandable and leaves numero
9.
by waynecochran 1mo ago
Fight fire w fire. Have AI read it and decide what to do w it.
10.
by waynecochran 1mo ago
Yes
11.
by waynecochran 2mo ago
LLM's may have provided a bit of comeuppance. Many mathematicians have cared little if anyone understands their obscure nomenclature and build mote around their work. Now they have encountered something that is becoming far more capabl
12.
by waynecochran 2mo ago
Apple and Jony Ive killed skeuomorph design a long time ago.
13.
by waynecochran 2mo ago
You do realize EV’s pollute as well? Batteries are nasty.
14.
by waynecochran 2mo ago
| The gas detected in the atmosphere is helium The planet must have an enormous escape velocity to contain helium in its atmosphere. If there is life there they are stuck.
15.
by waynecochran 2mo ago
I am shipping sophisticated computer vision code that is more reliable and better tested than ever before. This isn't some vibe coded bullsh*t. This is me writing detailed mathematical specs and it do all the heavy lifting.
16.
by waynecochran 2mo ago
There has been a steady decline for decades. Release early, release often. One example: Apple used to have a thing called Gold Master release when updating software was not as immediate. The GM programs met a high bar for quality. Not so mu
17.
by waynecochran 2mo ago
It will be easier than trying to learn to the new features of C++34.
18.
by waynecochran 2mo ago
I think you misunderstand -- I am still reading the article.
19.
by waynecochran 2mo ago
That is exactly what I was thinking. I was a seasoned C++ programmer and always loved reading articles like this. I can't imagine I will every write my own C++ code again -- or in any language. I now program with English specifications
20.
by waynecochran 3mo ago
The main iPhone app I maintain for work is 100% claude edited now ... I don't touch the code anymore ... I do occasionally look at it. It does a way better job than I could. I do have Xcode open as claude does its thing ... and I occas
21.
by waynecochran 3mo ago
That is the part Claude can handle and actually does. In fact, recently claude automaticaly converted some spline generating code to double precision and did some other refactoring as well after it realized poor results thru tests it genera
22.
by waynecochran 3mo ago
... I believe many programmers at this point have less impact they could have because they look at the code. I think my strength is now more in my ability as a mathematician and a writer than as a programmer. Being able to write
23.
by waynecochran 3mo ago
I am sure it probably was - a bit heavier option. There other mobile / VR / XR apps that I had to port to a variety of platforms using languages like Swift and Kotlin -- each platform has its own vector library. These don't n
24.
by waynecochran 3mo ago
Here is an example. I wrote a MacOS app in Objective-C++/C++ that used Eigen's JacobiSVD solver at one point. A colleague of mine use Claude to port it into a web tool that used JavaScript. I scrolled thru the JS code and saw that
25.
by waynecochran 3mo ago
Have you used Claude lately? It definitely will outperform a human at this task now.
26.
by waynecochran 3mo ago
There are cases where you don't want the footprint of bringing in another framework / library or that is not even an option.
27.
by waynecochran 3mo ago
No problem for claude. In fact I would have claude do the PR and go have lunch.
28.
by waynecochran 3mo ago
Go ahead and have claude add and run units tests for you as part of the PR review process.
29.
by waynecochran 3mo ago
I'll give you one example, an often first step to solving the Perspective N Point (PNP) problem involves using the Direct Linear Transform (DLT) method which boils down to solving AX = 0 where A in a 12x2N matrix (N can be 6 to 500). T
30.
by waynecochran 3mo ago
You are doing it wrong. Have Claude generate the test code and log test data that it can feed back into itself. Claude can generate tests and verify the code better than humans now. I don't trust humans to get things right anymore -- I

More ›