HNHacker News
TopNewBestAskShowJobs

make3

1,911 karma · joined April 15, 2013

FFEEDD ff6600 a77858
submissionscomments
make3··on We're releasing the weights of Mistral Large 4
Training neural networks is requires extremely high speed interconnect between the humongous GPUs
make3··on EA is shutting down BioWare
I'm not sure we played the same game
make3··on EA is shutting down BioWare
the depth comes from the character stories and development, like Laezel and Shadowheart
make3··on Sebastian Raschka's from-scratch video course on building reasoning models
personally I think it's because of models trained so hard to be good at Math and Coding with reinforcement learning, which makes them kind of crazy hard reasoners, and bad for casual discussion
make3··on EA is shutting down BioWare
maybe obvious, but Baldur's Gate 3 is really that level (or better) of a game (recommendation)
make3··on Gemini 4 Argon
The models are solving Millennium Prize questions and making progress on the Riemann Hypothesis, yet the top comment is still looking at pelicans somehow. To me, it feels even more superficial and pointless than arguing about the presidential candidates' tie choices in a debate.
make3··on Parsing JSON at gigabytes per second in Python
> "Python used to have limited parallelism, due to its global interpreter lock (GIL). Only one thread could run Python code at a time.”

It is still limited this way in the regular build, there's no "used to". Author should fix that.

make3··on Bag of Decisions Reranker
Importantly though, LLMs can generate questions in parallel, and there can be much fewer questions (q) than segments to evaluate against (n), so the cost of jev on questions (jev(q * n) + llm(q)) vs the cost of putting all the segments in the LLM can be smaller (llm(n)), (llm(n) >> llm(q) + jev(n * q) if n >> q)

The real benchmark that's missing for me is MaxSim on a real embedder from MTEB.

make3··on Build your own decision model
The real guide is here: https://huggingface.co/convaiinnovations/laya
make3··on Build your own decision model
Well the numbers don't lie Laya is ModernBert-Large (421M) fine-tuned and has a similar to better performance than TypeSafe Jev https://raw.githubusercontent.com/NandhaKishorM/laya/main/as...
make3··on 3rd Yandex Cloud Data Center Was Hit
People are allowed to defend themselves man. In this case, economic pressure is the only thing that's likely to work medium term.
make3··on Build your own decision model
Take ModernBert, add a fully connected layer with 255 outputs, take a bunch of classification datasets from Huggingface, write the code to have the datasets fit the jev format on these 255 outputs, do supervised fine tuning on the datasets with that format. then use a confidence loss of some kind
make3··on Build your own decision model
Laya is just ModernBert fine-tuned. It's still a language model (just a bidirectional one). Let's call it what it is instead of this weird Decision Model mysticism.
make3··on Typesafe AI raises $870M at $7.5B
Jev and decision models are *a derivative* of a pretrained LLM trunk, and one that's super easy to build once you have an LLM. Put a single step fully connected NN on the transformer, create a training dataset for it, add fancy but bread and butter multi step decision RL, nothing crazy.

*They have zero moat* against established AI companies, as the recent copies show, and will do worse than frontier labs.*

make3··on Typesafe AI raises $870M at $7.5B
> it'll look a lot more like putting Jev at the center of a much more expensive suite of software

but anyone can do that, that's not their product, Jev is

make3··on Python 3.15
language models reason from human examples partly, and a lot of the abstractions are simply actual useful compressions of information that are useful for LLMs as well
make3··on Sharing AI progress in mathematics
I guess there would be new interesting problems emerging, & AI would solve them, until it's completely impossible for us to understand
make3··on Sharing AI progress in mathematics
Imagine you get up one morning and most open questions in math are solved lol.
make3··on Sharing AI progress in mathematics
I think it's a damned if they do, damned if they don't scenario. I think they would be afraid to seem like they're claiming that the selected scientists deserve the praise of an invention or something, when it's "just the machine who did the work"
make3··on Sharing AI progress in mathematics
It was OpenAI that fucked up the Navier Stokes explosion situation, not Anthropic
make3··on Mistral Large 4
Americans just make fun of Europe for no reason, it is what it is
make3··on Jeff – Jev-compatible 0.8B decision models, trained at home, ~30 ms
The output key is determined through code by the harness from the inputs, and the model generates 255 floats in order that follow that schema by reading the expected return type "rank" in the input. The harness then programmatically uses the floats of the 255 floats that are useful. The harness can assume that the correct float will be in the correct position as the model is trained to follow the schemas
make3··on Jeff – Jev-compatible 0.8B decision models, trained at home, ~30 ms
no, 255 numbers come out at once all the time, the order is determined by the inputs
make3··on Jeff – Jev-compatible 0.8B decision models, trained at home, ~30 ms
logits assumed some form of softmax or logistic, which may not be the case
make3··on Jeff – Jev-compatible 0.8B decision models, trained at home, ~30 ms
FLAN-T5 generated text (Jev does not generate text), and BERT wasn't able to do tasks without fine-tuning.

Jev is basically a kind of FLAN-BERT, if you want, where it has built-in multi-task ability, but doesn't generate text. It only generates 255 floats all at once, making it much faster, and what those floats mean (if anything) depends on the prompt.

Eg, the following query is put in the encoder model:

{"question": "Rank these 5 things by increasing order of how big they are", "choices": ["truck", "cow", "mouse", "ant", "building"] }

The model returns [3., 2., 1., 0., 4.], and 249 other meaningless floats that are hidden from you by the UI.

The UI stitches the first 5 floats with the choices and returns something like:

{"rank": ["ant", "mouse", "cow", "truck", "tower"]}

make3··on Jeff – Jev-compatible 0.8B decision models, trained at home, ~30 ms
the appeal would be if they can deliver it at a much higher performance and similar speed, which is plausible
make3··on Claude Opus 5.5
Your joke also shows why it's dumb though.

We have general AI capable of proving professional mathematician level math theorems and capable of taking down global infrastructure through hacking and that completely changed what it means to be a software engineer, but we're evaluating it by generating fucking SVGs for the same animal in the same conditions, and it's supposed to mean something somehow

make3··on Can gzip be a language model?
they're is obviously joking
make3··on Claude Opus 5.5
This benchmark is useless and should die. LLMs have likely trained on it, it's too easy to game by training specifically for it, & it doesn't mean much
make3··on Claude Opus 5.5
parent means that they could get more client / a larger part of the market, which would lead to more income (more tokens) despite lower marginal prices
Page 1 of 34Next →