HNHacker News
TopNewBestAskShowJobs

heinrichf

845 karma · joined June 6, 2015

submissionscomments
heinrichf··on Gemma 3 Technical Report [pdf]
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?

heinrichf··on Restic: Backups done right
Restic has a mount subcommand that exposes all backups through a FUSE filesystem, no?
heinrichf··on Scramble: Open-Source Alternative to Grammarly
There is also an alternative more lightweight self-hosted server in Rust, compatible with the official clients: https://github.com/cpg314/ltapiserv-rs
heinrichf··on Transformers for software engineers
It's to access the tuple's single element, but the author could have used #[repr(transparent)]
heinrichf··on How Audio Fingerprinting Works
(2020). See also https://news.ycombinator.com/item?id=9870408, which I found more interesting (and that the author should probably have referenced).
heinrichf··on The Mathematical Pranksters Behind Nicolas Bourbaki
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.

heinrichf··on AI maths whiz creates tough new problems for humans to solve
This page appears as if it was written by the authors or the PR department of the university...
heinrichf··on AI maths whiz creates tough new problems for humans to solve
The praise from popular press and the promotion by the authors should be put into context of what mathematicians think of it.

Two blog posts by a professor at U. Chicago, qualifying it of intellectual fraud:

https://www.galoisrepresentations.com/2019/07/17/the-ramanuj...

https://www.galoisrepresentations.com/2019/07/07/en-passant-...

heinrichf··on AI model detects asymptomatic Covid-19 infections through phone-recorded coughs
Discussion on /r/MachineLearning with caveats here: https://www.reddit.com/r/MachineLearning/comments/jkrzlt/d_a...
heinrichf··on High-Resolution 3D Human Digitization
The last author and his company were/are involved in scandals about faking results on a large scale:

https://www.reddit.com/r/MachineLearning/comments/8zm4kl/d_l...

http://sadeghi.com/dr-iman-sadeghi-v-pinscreen-inc-et-al/

heinrichf··on SpaceX Software Team AMA
https://aviation.stackexchange.com/questions/36853/do-safety...
heinrichf··on SpaceX Software Team AMA
I'm surprised to read they used a Linux (ok patched with PREEMPT_RT) for real-time safety critical software.
heinrichf··on Moving Away from Gmail
> 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.

heinrichf··on Hospitals Deploy AI Tools to Detect Covid-19 on Chest Scans
See this blog post from a radiologist and ML researcher: https://lukeoakdenrayner.wordpress.com/2020/03/23/ct-scannin...
heinrichf··on Employee Scheduling
By the way, thanks a lot for sharing your story and code back then, I learnt a lot from it.
heinrichf··on Employee Scheduling
Thank you for your interesting explanation. That reminds me of the deferred acceptance algorithm https://en.wikipedia.org/wiki/Gale%E2%80%93Shapley_algorithm
heinrichf··on Employee Scheduling
See also the story of Staffjoy mentioned in another comment (https://news.ycombinator.com/item?id=22583653) YC fellowship, they couldn't find a market, and shut down: https://hn.algolia.com/?q=staffjoy
heinrichf··on The TeX Pestilence (Why TeX/LaTeX Sucks)
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.
heinrichf··on The TeX Pestilence (Why TeX/LaTeX Sucks)
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.

heinrichf··on Postdoc Myths
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
heinrichf··on Postdoc Myths
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.
heinrichf··on The economics of unused gift cards
An economist one said "Socks and gift cards are the junk bonds of gifts"

https://www.npr.org/2019/12/16/788587668/the-efficient-chris...

heinrichf··on How Transformers Work (2019)
Not useless at all, you're welcome and I'm happy to hear that my opinion about the above link is shared by someone ;)
heinrichf··on How Transformers Work (2019)
This looks like a dumbed down/partly stolen version of http://jalammar.github.io/illustrated-transformer/ (and his other posts). towardsdatascience usually screams "low quality content" :/
heinrichf··on LaTeX, Instantly: Extract LaTeX from PDFs or Handwritten Notes
@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?
heinrichf··on The Apple Watch can detect atrial fibrillation: so what now?
Alas the article is behind a hard paywall and not available on Sci-Hub...
heinrichf··on Scratch that: Cats film to be 'resupplied' with 'improved visuals'
Previously discussed at https://news.ycombinator.com/item?id=21861294 , where I also linked to an interesting analysis of a VFX supervisor, and the original Hollywood reporter article
heinrichf··on 'Cats' gets day-one patch in theaters
Analysis from a VFX supervisor: https://www.reddit.com/r/vfx/comments/ee7m0t/cats_from_a_vfx...

Original Hollywood reporter article: https://www.hollywoodreporter.com/news/universal-notifies-th...

heinrichf··on Goodbye green screens: In-camera, Real-Time VFX with Unreal Engine
An interesting article on Unreal's website with more videos: https://www.unrealengine.com/en-US/blog/virtual-production-w...
heinrichf··on Hard Problems in Cryptocurrency: Five Years Later
Hm, sounds worrying, do you have a source for that?
Page 1 of 5Next →