heinrichf
heinrichf on Hacker News
I'm comparing Gemma3 12 B (
https://ollama.com/library/gemma3; running fully on my 3060 12GB) and Mistral Small 3 24B (
https://ollama.com/library/mistral-small; 10% offloaded to the CPU).
- Gemma3 12B: ~100 t/s on prompt eval; 15 t/s on eval
- MistralSmall3 24B: ~500 t/s on prompt eval; 10 t/s on eval
Do you know what different in architecture could make the prompt eval (prefill) so much slower on the 2x smaller Gemma3 model?
Posted by
heinrichf on Monday February 10, 2025 @02:36AM
from the helsing.ai dept.
Restic has a mount subcommand that exposes all backups through a FUSE filesystem, no?
It's to access the tuple's single element, but the author could have used #[repr(transparent)]
Commenting as a mathematician who sometimes uses the Bourbaki books as reference for research: this is probably not a good idea. These books have a very dry style and in particular rarely contain detailed examples, motivation for definitions, or intuition for theorems.
They are great for reference if you already know the subject, but if you want to learn something, you'd be better off using introductory textbooks for the various fields you're interested in. I'm happy to make recommendations, and you can also look up syllabi for math undergrad at Stanford, Princeton, etc.
Posted by
heinrichf on Thursday February 11, 2021 @03:14PM
from the galoisrepresentations.com dept.
This page appears as if it was written by the authors or the PR department of the university...
Posted by
heinrichf on Sunday June 21, 2020 @06:50AM
from the samcurry.net dept.
I'm surprised to read they used a Linux (ok patched with PREEMPT_RT) for real-time safety critical software.
> The company is based in Switzerland and is French speaking. Any chance "AdVite" means something different in French?
No, it doesn't mean something different in French.
By the way, thanks a lot for sharing your story and code back then, I learnt a lot from it.
Posted by
heinrichf on Sunday February 09, 2020 @04:43AM
from the ascmag.com dept.
As a professional mathematician, I see it the same way a musician views musical notation. Sure, writing the name of each note on the stave would be easier to read at first, but the seemingly complex notation then allows for a much quicker understanding (see how talented pianists can sight read very complicated scores; I doubt this could be possible with a more verbose notation). Similarly, I have no trouble parsing (correctly written) LaTeX mentally.
I feel that the author saying LaTeX is bad because it is (in particular) not based on a GUI/point-and-click system, and preferring Microsoft Equation Editor/Outline to it, reveals a big misunderstanding.
I also don't see how Mathematica's notation is any better; I view it as way worse.
This is exactly one of the points raised in the text. Non-TT assistant professorships are indeed postdocs, which often come with more teaching load than other fellowship-based postdocs. This is for example the case of the "Hills Assistant professorship" at Rutgers
This is so simply not true, or highly subfield-dependent. Unless you are a superstar, there is no way you get a TT job without a postdoc in math.
Not useless at all, you're welcome and I'm happy to hear that my opinion about the above link is shared by someone ;)
@nicodjimenez Could you give the HN audience a quick idea of the technology behind this? Recurrent ConvNets like in
https://guillaumegenthial.github.io/image-to-latex.html ? I remember seeing an "image to LaTeX" academic challenge, do you plan competing in it, if it still exists?
Alas the article is behind a hard paywall and not available on Sci-Hub...