Search results

1
0
0

A followup to my previous video, in which I now see how and do at formalizing a slightly different proof of the same algebraic implication, after being given the initial informal and formal proofs as reference. youtube.com/watch?v=zZr54G7ec7

0

I tried letting "Claude Code" solve a coding problem for me.

It was iterating, trying edits, running the tests, revising the code. But then when it couldn't get the tests pass to after a couple of iterations, it updated the test suite to just skip those tests, declaring that they were unreliable and not useful. 😂

The tests were passing before Claude got involved. Our jobs are safe for now.

0

My project I prompt & the same prompt to compare the responses, return the results in a table I have asked them to write this code in I use because it has 18000+ packages that I am treating them as Some can see, touch the web Some can't remember Packages in R are like the specialized regions of the human brain Maybe value in packages Building the

0

Nowadays, when I need to compose articles in multiple languages, such as English, Korean, and Japanese, I draft them in Sonnet. By providing the data that should be included in the content and the constraints, it produces a pretty good draft. is a language model, so it is quite good at writing—especially if you need to work with multiple languages.

0