>> We chose to forgo several hundred million dollars in revenue to cut off the use of Claude by firms linked to the Chinese Communist Party
You can’t choose to work with OFAC-designated entities.. there are very serious criminal penalties. Therefore, this statement is somewhat misleading in my opinion.
>> it is getting harder for small software vendors
I think maybe this trend will continue and not specifically for indie developers, but for all software vendors. If AI becomes capable of producing genuinely highquality software, competition will intensify, and the industry will start to resemble the music industry. Alternatively, AI may continue to generate software that is not necessarily high quality but is largely indistinguishable from competing products; in that case, the market for lemons dynamic will apply. In either scenario, the value of software will decline...
I think that mathematical proofs, as they are actually written, rely on natural language and on a large amount of implicit shared knowledge. They are not formalized in the Principia Mathematica sense, and they are even further from the syntax required by modern theorem provers. Even the most rigorous proofs such as those in Bourbaki are not directly translatable into a fully formal system.
Tested it on a bug that Claude and ChatGPT Pro struggled with, it nailed it, but only solved it partially (it was about matching data using a bipartite graph).
Another task was optimizing a complex SQL script: the deep-thinking mode provided a genuinely nuanced approach using indexes and rewriting parts of the query. ChatGPT Pro had identified more or less the same issues.
For frontend development, I think it’s obvious that it’s more powerful than Claude Code, at least in my tests, the UIs it produces are just better.
For backend development, it’s good, but I noticed that in Java specifically, it often outputs code that doesn’t compile on the first try, unlike Claude.
I have the feeling that we are still in the early stages of AI adoption, where regulation hasnt fully caught up yet. I can imagine a future where LLMs sit behind KYC identification and automatically report any suspicious user activity to the authorities... I just hope we won’t someday look back on this period with nostalgia :)
I loved the article, but it overlooks one important point: although the JPEG format is frozen, encoders are still evolving !
Advances such as smarter quantization, better perceptual models, and higher-precision maths enables us achieve higher compression ratios while sticking to a format that's supported everywhere :)
What I like about mechanical watches is that, having survived a near-death experience when quartz watches were introduced, they’ve evolved into a completely different kind of product. It’s fascinating that, unlike most other businesses and products, people don’t buy them for their utility, and the less automated their production process, the better. Brands like A. Lange & Söhne even pride themselves on assembling their movements twice.
When inefficiency and craftsmanship are considered features rather than flaws, you have an industry that won’t easily be replaced by AI or robots.
In a quick web demo, this library was the only one that could handle interactive viewing and manipulation of a very large graph using its GraphGL component !
I don’t think it's a well-known visualization library, but it's quite interesting ...
Not sure if Michael Roth is related to Philip Roth, but it somehow reminds me of American Pastoral and that era of protests against the Vietnam War and its aftermath. I'm not entirely sure how those demonstrations compare to the ones we’re seeing today, but the parallels are striking
It is fascinating (to me at least) that almost all RSA implementations rely on a probabilistic primality test, even though the probability of picking a pseudoprime is extremely small.
Thank you, I'll look into it more closely, fortunately it builds using CMake / Clang, and cross-platform libs ... might be possible to port it to MacOS after some tweaks.
Impressive project, judging by commits and features, it's clear that significant effort has been poured into this :)
Unfortunately, there's no specific MacOS installation method provided, unsure if buildable from source ?
I second this... to this day, I am in awe! Such a profound and readable book in the same time. Each character lives within me, and in many situations, one of them emerges :)
As Nabokov said, it is the supreme masterpiece of 19th-century prose.
In my experience, recent versions work well for out-of-core computation (I use it frequently). What is the size of the Parquet file that you are using? - I can't find the details in you previous comments.
The model provides verbose answers even when I asked for more succinct ones. It still struggles with arithmetic (for example, it incorrectly stated "7739 % 23 = 339 exactly, making 23 a divisor"). When tested with questions in French, the responses were very similar to those of GPT-4.
It is far better in knowledge based questions, I've asked this difficult one (it is not 100% correct but better than other LLMs) :
In Anna Karenina what does it mean: most of us prefer the company of Claras ?
I agree with you, maybe books are not the ideal format for acquiring knowledge.
I read a lot of fiction books, mainly classics for pleasure. And what I found unique is that only in books I have access to the interior monologue of the characters, their thoughts, and on some occasions, direct access to their "stream of consciousness".
I love it, and I discovered that some characters (but in reality it's the authors) have a similar process of thought, and some others do not, and notice and sense things differently ...
You can’t choose to work with OFAC-designated entities.. there are very serious criminal penalties. Therefore, this statement is somewhat misleading in my opinion.