HNHacker News
TopNewBestAskShowJobs

kmaitreys

154 karma · joined December 4, 2025

submissionscomments
kmaitreys··on Show HN: Hacker Atlas - A map of what Hacker News talks about
Just a heads up: Your classifier thinks Sun (the company) is actually Sun (the star) and hence it[1] shows up among the posts under Astronomy topic.

[1] https://news.ycombinator.com/item?id=49787436

kmaitreys··on Why do we need human mathematicians anymore?
To know what something is about, a natural way is to do it yourself.
kmaitreys··on Rewriting in Rust
This topic has somewhat recently acquired a connotation where it yields a polarized response. People seem "tired" of the language and the episodes like Bun rewrite don't help, especially in current LLM-obsessed era.

Amidst this, just let me try to give my own experience with language while working in a field where it doesn't have much traction (scientific/numerical programming). A couple of years ago, after being tired trying to make Python faster, I was looking for a language to write simulation code in. Fortran (and C/C++) has been the go-to choice in my field for decades but I wanted to try a modern language. I tried Julia but the workflow didn't come naturally to me. Also by default, it also wasn't ahead-of-time compilable. Rust was my second choice but it's type system/design, expressiveness and tooling (rust-analyzer) won me over. I have written so much of it and I really enjoy writing it. Borrow checker isn't really an issue 99% of time when writing scientific code. And when it is (self-referential data structures), you can just use an arena (or something equivalent). The C/Fortran inter-op is great so it's still so easy for me to build my own abstractions on top for the more general stuff like solving ODEs and sparse matrices.

And of course, there is speed, memory safety and ability to parallelize things so effortlessly (rayon is magical), but I feel those were never the things that actually won me over. The language was just a joy to write.

kmaitreys··on Jaithon 3, a fast programming language with the perfect syntax
No. The file uses same extension as Jonathan Blow's Jai which is actually a language GitHub supports.
kmaitreys··on Delphi 13 Community Edition Is Now Available
If you can bear his idiosyncrasies, Tsoding did a stream on it recently. It was pretty cool.

https://youtu.be/4vcA7yJMoPg

kmaitreys··on China’s open-weights AI strategy is winning
I have similar thoughts.

To those who feel on the contrary, I would genuinely like to understand why average consumer won't be priced out of hardware? The silicon industry is already quite centralised. Everywhere we already see the concept of ownership disappearing.

It's quite difficult for me to visualise a non-dystopian future where our PCs are just mere screens and every compute happens on a remote cloud, owned by some corporation, charging you subscription fees to even add and multiply numbers.

I would be the happiest if this (perhaps the most) pessimistic scenario doesn't pan out, but I can't deny that it feels like that's where we are heading.

kmaitreys··on Claude Fable produced a counterexample to the Jacobian Conjecture
Maybe not?

https://en.wikipedia.org/w/index.php?title=Jacobian_conjectu...

kmaitreys··on Differentiable Fortran with LFortran and Enzyme
I would also like to know this. Fortran itself is column-major, so I would guess the internal layout isn't same for multi-dimensional arrays when compared to row-major C? I'm not sure how LFortran represents arrays internally though.
kmaitreys··on Ditching Zotero for a Text File
I'm not sure if I would ditch Zotero. Using grep over a bib file is nice but I guess you are opening the DOIs in browser every time?

The reason I like Zotero is because I can use it offline, have my all documents synced (the backup feature is one of the best things) when needed and I can organize my papers according to project/paper I'm working on. Actually one thing I do wish Zotero would add is tab groups which will allow me have papers open but grouped by project. It's based on Firefox which does support this so I hope it's a matter of time.

kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
Your understanding of what means value to this world is deeply pitiable.
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
I'm sorry but this is not a good enough argument for gutting science. You need to justify that capacity and coverage increase is required.

The companies trying to make these plans are just looking for money. It's not for some noble goal for progress. If you fail to see that, I'm sorry for you.

kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
Yes, I can do most of the things now because enough is already up there. Can you elaborate why do you want more? Like a million more as these companies are planning?

When is it enough?

kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
Can you define what progress is being made by creating more space junk?
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
Sure but it doesn't we can replace ground-based oned with space telescopes. They don't make the same class of observations
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
Is this thread being astroturfed by bots from big tech? Some absolutely obtuse comments.
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
That's an insane take. Do you actually understand what is being argued? It's an threat to ground based telescopes in the name of more slop-generating infrastructure.
kmaitreys··on "Beyond the limit": Satellites and mirrors in space pose threat to the night sky
The issue at hand is with the ground based telescopes. We need both ground-based and space-based telescopes because with ground based telescopes you can create arrays and interferometers enabling a much larger baseline (in layman terms this means much higher angular resolution)
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
What advancement is being made exactly? SpaceX data centres to create more AI slop?
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
What exactly is the implication of saying this? This is not about over-regulation at all.
kmaitreys··on “Beyond the limit”: Satellites and mirrors in space pose threat to the night sky
What about ground based telescopes and interferometers which enable observations with much much larger baseline?

Space-based and ground-based telescopes are complementary to each other. You can't replace one out for the other.

kmaitreys··on ArXiv's Next Chapter
It depends on the kind of people. Most normal people don't do that, it's not a reddit-like platform after all.

But most researchers and grad students (like me) often subscribe to daily mailing list of the papers dropping that day from their particular field. Having a cursory read at the paper titles and then opening the papers further relevant to you is a morning ritual for many.

kmaitreys··on Show HN: Gravity – interactive solar-system simulator, from Newton to Einstein
For something more rigorous, I would like to take this opportunity to share rebound[1], something we use for n-body simulations in our field (planet formation). Perhaps few people here are already familiar with it. It has a Python interface but the C interface is very easy to use as well and has plethora of pre-set examples which can be visualized using GLFW. It's very very cool!

[1]https://github.com/hannorein/rebound

kmaitreys··on Zig by Example
I have never understood this way of approaching programming. I feel the best way to learn a language is solving a problem you have in that language.

Figure out an actual real problem you have which you can solve with programming and just implement it in a language you're thinking about learning. This way there's nothing to invest in because you're solving a problem instead of approaching programming as if it was some coursework. It is not.

kmaitreys··on Zig by Example
Why do people still view languages as an investment? If you know programming then it's just a different syntax. Focus on learning programming.
kmaitreys··on Ask HN: Why is the HN crowd so anti-AI?
It means that you are impressed by mediocrity.

cf: https://nitter.net/mitchellh/status/2060088112257372610#m

kmaitreys··on Ask HN: Why is the HN crowd so anti-AI?
If you're impressed by something which was done by AI, then you're not qualified enough to judge it.
kmaitreys··on Wterm – A terminal emulator for the web
Probably some tokenmaxxing competition between the employees. The whole company seems under some kind of AI psychosis.
kmaitreys··on I’ve joined Anthropic
> https://gist.github.com/karpathy/442a6bf555914893e9891c11519...

Last thing I saw Karpathy talk about was this, which I find hard to believe that it came from a smart person.

kmaitreys··on New arXiv policy: 1-year ban for hallucinated references
I hope you don't do science because this is how reputation get tainted.
kmaitreys··on Making Julia as Fast as C++ (2019)
How do you develop a program which will run for longer duration on HPCs. How do you quickly modify struct definitations, how do you define imports (using vs include syntax is so confusing!)

REPL-based workflow doesn't make sense to me other than scripting work.

Page 1 of 4Next →