thesz

14 ms·

211.
by thesz 9mo ago
> But I'm unsure if there's a strong argument that resonates with me yet that the language shouldn't have exceptions at all. Result <E, T> is the type Either e t in Haskell. And Either is a Monad: https:&#
212.
by thesz 9mo ago
At the time (2018), it had perplexity close to LSTM, while having more coefficients and much shorter (hours vs days) training time. I tried to apply SNMLM's ideas to the byte-level prediction modeling here: https://github.co
213.
by thesz 9mo ago
I am not an author of SNMLM paper. ;) I was using their model in my work.
214.
by thesz 9mo ago
For some reason people are still adding position encodings into embeddings. As if they are not relying on the model's ability to develop its own "positional system bootstrapping on top of the barebones one."
215.
by thesz 9mo ago
> like graph relationships Once upon a time during me being language modeling researcher I built and finetuned a big (at the time - about 5 billions parameters) Sparse Non-Negative Matrix Language Model [1]. [1] https:/&#x2
216.
by thesz 9mo ago
[1] https://towardsdatascience.com/llm-powered-time-series-analy... [2] https://arxiv.org/abs/2506.02389 [3] https://arxiv.org/html/2402.10835v3 Some links from the top of Google
217.
by thesz 9mo ago
Skilled devs compress, not generate (expand). https://www.youtube.com/watch?v=8kUQWuK1L4w The "discoverer" of APL tried to express as many problems as he could with his notation. First he found that notation expan
218.
by thesz 9mo ago
No. It is easy to divide loop body into computation and share info update, the latter can be done under #pragma omp critical (label).
219.
by thesz 9mo ago
Orwell worked in Spain for about a year, 1936-37, his work on BBC during WWII was twice as long. In my opinion, 1984 was shaped by his work in Britain.
220.
by thesz 10mo ago
As if Lean does not allow to circumvent it's proof system (the "sorry" keyword). Also, consider adding code to the bigger system, written in C++. How would you use Lean to prove correctness of your code as part of the bigger
221.
by thesz 10mo ago
Rust code can have arbitrary I/O effects in any parts of it. This precludes using only Rust's type system to make sure code does what spec said. The most successful formally proven project I know, seL4 [1], did not extracted execu
222.
by thesz 10mo ago
I believe you have used Albanian [1] version of Opus. [1] https://www.reddit.com/r/ProgrammerHumor/comments/1lw2xr6/hu...
223.
by thesz 10mo ago
> you can easily check whether it builds and passes tests. This link were on HN recently: https://spectrum.ieee.org/ai-coding-degrades "...recently released LLMs, such as GPT-5, have a much more insidiou
224.
by thesz 10mo ago
This is perfect for (pretty much) stealthy energy stealing.
225.
by thesz 10mo ago
By storing 10g of fat (90 calories, 3.5%-5% of daily calories) per day you accumulate 3.5 kg of fat after an year. By eating protein that cannot be utilized by your body fully (wrong amino acid profile) you are storing extra fat and build l
226.
by thesz 10mo ago
It is hard to experiment on humans. Here is an experiment on monkeys: https://pubmed.ncbi.nlm.nih.gov/39978336/ At least aspartame increases insulin secretion in them.
227.
by thesz 10mo ago
Lions can subsist on a diet of poultry, but suboptimally. If we assume that lions' best diet is beef [1], then chicken [2] would be less optimal for them. [1] https://tools.myfooddata.com/protein-calculator/171797&
228.
by thesz 10mo ago
> If not, why? Because it was only one of points ("goal posts") that had to be addressed during the conversation on diets. I addressed the point of artificial sweeteners, I then had to address other points. You see it a
229.
by thesz 10mo ago
Chimpanzees have greater gut to support their longer intestines, which they need to digest fibrous food.
230.
by thesz 10mo ago
I learned that humans are apex predators a couple of years ago. Meat contains essential fats to various degrees while protein powder does not at all. Usually, protein powder ([1] as an example) is not exactly matched to the human profile of
231.
by thesz 10mo ago
The cannot catch them so they are not adapted to them. Our cat does not eat lamb as he is not adapted to lamb, but he does eat a lot of duck purring to the skies.
232.
by thesz 10mo ago
I use intermittent fasting, 18+ hours fasting between meals. It is convenient, it is affordable, it gives me ketones to squat 140kg for twenty (20) reps being 54 years old without, literally, breaking a sweat, and, before all, raises blood
233.
by thesz 10mo ago
I did not know better that's why I drink them. Now I know better and I don't.
234.
by thesz 10mo ago
Humans are top predators. We eat more meat of various kind than any other predators, including other predators like bears. Lions can't eat ducks or chickens. We can and do. Why should I, as a top predator, drink a protein powder instea
235.
by thesz 10mo ago
Why you get protein powder of unknown origin instead of the meat?
236.
by thesz 10mo ago
https://www.youtube.com/watch?v=lzsEqV0Bjcs - that lecture refers a simple formulae to compute protein content from the amount of nitrogen. They count nitrogen in grams, then multiply by 6 to get amount of "available&q
237.
by thesz 10mo ago
I am not a weightlifter, I am an amateur powerlifter, and I do pretty intense resistance training for my age (54yo) and my weight (112kg) and I eat about 800g to 1kg a day of meat - duck, pork or beef. Even if I eat 1kg Wagyu beef, it would
238.
by thesz 10mo ago
> not sure what you're missing at this point. We are talking with audience reading our comments. You think you are talking to me but you are talking to much wider audience. Everyone, including me, are making some assumptions
239.
by thesz 10mo ago
We do not know whether Netflix had microservices from the start, even at the start of their video-on-demand service. In my daily job I see an effort to bring distributed system into a more monolith one, because it is just easier to debug.
240.
by thesz 10mo ago
> you don't see Go ported to microcontrollers for instance. AVRGo disagrees: https://github.com/avrgo-org/avrgo

More ›