jebarker

21 ms·

481.
by jebarker 2y ago
I don't know what they were doing, but I tried o1 with many problems after I solved them already and it did great. No special prompting, just "solve this problem with a python program".
482.
by jebarker 2y ago
I was thinking 20/25 is pretty great! At least 5 of the problems were pretty tricky and easy to fail due to small errors.
483.
by jebarker 2y ago
I'd be interested to know how o1 compares. On may days after I completed the AoC puzzles I was putting them question into o1 and it seemed to do really well.
484.
by jebarker 2y ago
> Using advanced AI in math is a mistake in my opinion. I too feel saddened by the idea of automating math if it leads to inscrutable proofs or theories. But it seems essential that we advance the tools used for mathematical discovery if
485.
by jebarker 2y ago
> So what is important then? Nothing. Importance and meaning are human constructs. What is important/meaningful to each of us is simply what _feels_ important/meaningful to us. There's no extrinsic measure of importance&#x
486.
by jebarker 2y ago
This is great - thanks for sharing
487.
by jebarker 2y ago
Depending on the area of software development then trigonometry, geometry, linear algebra, number theory, combinatorics and probability theory are the most obviously useful. Beyond that I know that there's a close relationship between
488.
by jebarker 2y ago
Yeah, I really hope so. I'm hoping that my background is going to allow me to work/play in this area. I'm currently learning about theorem provers so I can get involved.
489.
by jebarker 2y ago
I didn't say I'm surprised the world of topology could be practical. I said that _I_ wouldn't have been able to explain the concepts in the video so clearly and tie them to a practical problem.
490.
by jebarker 2y ago
I loved this. I did my PhD in algebraic topology, but studied lots of topology so was familiar with this material. I doubt I could ever have explained these concepts so clearly or tied the esoteric world of topology to a "practical&quo
491.
by jebarker 2y ago
I'm interested in any tips you figured out for debugging in that environment. I find a GUI debugger to be an essential tool for this kind of work. It's the thing that keeps me using vscode remote vs just vim on the server (which I
492.
by jebarker 2y ago
I don't use most of these features other than go to definition. I find popups deeply annoying. I've tried using other features such as autocomplete but I've never found it very useful. I think it's due to the type of wor
493.
by jebarker 2y ago
> I recently helped my grandson with his university C++ assignment. That is awesome. I hope if my kids have kids i'll be of some technical use to them too!
494.
by jebarker 2y ago
> I am dreading the inevitable onslaught in a year or two of language model “proofs” of the Riemann hypothesis which will just contain claims which are vague or inaccurate in the middle of 10 pages of correct mathematics which the human
495.
by jebarker 2y ago
Yeah, it always sticks in my mind that the time it takes for light to reach the top of the Eiffel tower from the ground is measured in nanoseconds. Maybe that came from a Grace Hopper talk?
496.
by jebarker 2y ago
You need to define ideate, tools and technologies to answer those questions. Not to mention that it's quite possible humans do those things through re-combination of learned ideas similarly to how these reasoning models are suggested t
497.
by jebarker 2y ago
It is, although I was still a little surprised it's on the order of a minute to go NYC to Tokyo at that speed. My intuition was it would be much less time.
498.
by jebarker 2y ago
I get that. My comment has nothing to do with people's pride in their work. I was commenting that there's not enough user demand for better preforming software because users don't seem to mind the software hellscape we curren
499.
by jebarker 2y ago
The part missing from this analogy is that the low-hanging fruit pickers are slowly killing the trees.
500.
by jebarker 2y ago
> it directly impacts me in my day-to-day job It directly impacts anyone that uses software everyday. Most people don't seem to understand and/or care how poorly the software they use runs.
501.
by jebarker 2y ago
I think the reason that I haven't felt the productivity boost is because my work is mostly debugging and fixing existing code in a complicated codebase. Rarely is it writing new greenfield code. LLMs have so far struggled to be useful
502.
by jebarker 2y ago
Do you have any links for Prof Song talking or writing about this? Sounds interesting
503.
by jebarker 2y ago
> For chatbots, 99% is amazing in terms of utility. Is it really though? If it's 99% of generated tokens, then 1 out of 100 being wrong is not great for code generation since you're often going to generate more than that. But l
504.
by jebarker 2y ago
Yeah, exactly. A human can learning vastly more about, say, math from a much smaller quantity of text. I doubt we're anywhere close to exhausting the knowledge extraction potential from web data.
505.
by jebarker 2y ago
The refactoring idea is interesting because I can imagine "proof compression" creating a less readable proof too, similarly to how a code one liner can be harder to read.
506.
by jebarker 2y ago
Formalization of maths seems like an overwhelmingly huge task. A bit like Cyc but harder. Is there some kind of chain reaction likely to happen once a critical mass of math has been formalized so that it becomes easier to do more?
507.
by jebarker 2y ago
Aliens and True Lies were the two i've heard most bad reviews for
508.
by jebarker 2y ago
> they tend to limit quality, both for copyright and traffic saving purposes This is the killer for me. I've worked on both video compression and graphics in my career and those projects involved a lot of pixel peeping. The compress
509.
by jebarker 2y ago
I disagree. AI used thoughtfully as a tool can potentially allow a mathematician or scientist to progress further and see more beauty. I'm also a mathematician by training and I've realized that a large part of my love for math wa
510.
by jebarker 2y ago
Why? It seems really useful, so there must be a bar where that becomes revolutionary.

More ›