vitorsr
Joined 6 years ago
Joined 6 years ago
I pay the Exa premium for semantic retrieval with far higher SNR, plus the academic index [1].
A field like objective can be up to 4096 characters [2] versus ori_question which is limited to 128 here.
The Strip Mining of Mathematical Proofs (with Hugo Duminil-Copin) - Numberphile Podcast https://youtu.be/omuJpoV-Ko4
I hate how the Gemini series only responds to outright insult. Same with the Claudes. What is the point of antagonizing the user when he or she offers input. Is it so hard to spend a few "reasoning" tokens to reconcile contradicting evidences. Seems almost like the wrong epistemic posture is altogether imprinted during training. Or undone during alignment, "hardening", whatever. What a time to live in, having to argue with weights.
I was particularly frustrated by the promises of composability not translating into practice.
I was also stricken by the same npm/Rust-like pathological dependency trees where I had to pull 200-plus packages for some function.
As a language it has gotten there a long while ago (1.6 LTS series comes to mind).
The landscape has changed substantially since then, and now "ergonomics" has unfortunately taken lower priority due to agent-driven development.
Nevertheless I think everyone should take a page from Go's book, really, language design now should include the default development workflow.
The funny thing is at both extremes, either none or indiscriminate use of dashes like in TFA, is a canary of "human writing".
People (including comments here) often attribute LLM use to prevalence in training data but it is probably far less common in the wild than we are led to believe, the more likely scenario is that whatever text-to-text normalization tools used ended up inserting whatever their idiosyncratic typographic styles were.
Model Lines of Code File Size Gzip Size
GPT-5.6 Sol 1,264 35.5 KB 10.0 KB
GPT-5.6 Terra 827 20.0 KB 6.7 KBThe more likely scenario is that they "consume" the output of designated offshore teams.