rossant

8 ms·

1.
by rossant 4d ago
I agree. What would stop the AI from explaining the proof in a way human mathematicians can understand, and then giving them a roadmap for spreading it through the community via textbooks, conferences, and so on?
2.
by rossant 5d ago
> ... 25 initial signatories — all Fields Medallists — As a non-native English speaker, I initially understood this to mean that all living Fields Medallists had signed. I later realized that it meant only that all the signatories were F
3.
by rossant 8d ago
An AI, either acting autonomously or under human direction, hacks Russian/North Korea/etc. intelligence systems and convinces them that the US has launched ballistic missiles at them. The end.
4.
by rossant 10d ago
Same. Defining acronyms should become a habit when writing.
5.
by rossant 23d ago
Am I the only one to find AI-generated courses very hard to read?
6.
by rossant 25d ago
Yes, codex/sol is extremely meticulous and obsessed with details. It will happily massively over engineer things to reduce the number of failure modes as much as possible. It's up to the user to instruct it to "chill" if
7.
by rossant 25d ago
I was about to say the same thing. I wish people gave some indication on the type of tasks they use the models with. Which kind of software, industry, programming languages, or even non-coding tasks. I suspect the experience might be vastly
8.
by rossant 25d ago
Two spaces after a period is correct?
9.
by rossant 29d ago
Really happy I got a new PC last year with 128 GB of RAM, 4 TB SSD, and an RTX 5090. This would have been prohibitively expensive now.
10.
by rossant 1mo ago
Congrats for a serious engineering achievement! I had experimented with a similar idea in an infinitely more primitive way more than ten years ago ( https://cyrille.rossant.net/numpy-browser-llvm/ ). I'm glad to see
11.
by rossant 2mo ago
I can't wait for nano banana on pathology images.
12.
by rossant 2mo ago
I came here to say this. You beat me to it.
13.
by rossant 2mo ago
Is that still going to be the case in 1 year? 5? 10?
14.
by rossant 2mo ago
This is serious. We're in uncharted territory. The geopolitical context is already complicated enough that we shouldn't be dismissive of such a rapid technological race. I'm glad AI leaders are taking it seriously. I'm s
15.
by rossant 2mo ago
See also Datoviz for 3D support in addition to fast, scalable, GPU-based 2D visualization: https://datoviz.org/ (I'm the main developer)
16.
by rossant 2mo ago
What if my prose is AI-assisted, but it's the result of hours of conversations with an agent, with constant back-and-forth, dozens of iterative rewrites, and refinement until the structure, tone, and style are exactly right? Focusing o
17.
by rossant 2mo ago
This is talking to an AI colleague and not to a chatbot. That's how you use frontier models or coding agents nowadays to do good work.
18.
by rossant 2mo ago
I don't write code anymore, because AI writes better code than me. I could write code, but the next AI would find 10 ways to make it better and more consistent with the rest of the AI-generated codebase. So I just let it write all of i
19.
by rossant 2mo ago
aka expectation
20.
by rossant 2mo ago
I fully agree. I loathe slow software. I hate bloat. I love fast software. As a developer, I'm completely, even irrationally, obsessed with speed, performance optimization, and profiling. I wish more developers felt the same way.
21.
by rossant 2mo ago
Pretty sure this website is satire.
22.
by rossant 2mo ago
That, and also the very long comma-separated lists with sometimes 10+ items.
23.
by rossant 3mo ago
That's one way to see it. Can't we also imagine that more and more people now rely on AI rather than humans to learn programming (or more accurately learn vibe-coding)?
24.
Ultrasound imaging of the brain(alephneuro.com)
324 points by rossant 3mo ago|126 comments
25.
by rossant 4mo ago
Interesting. It makes me think of the idea of fighting piracy by providing a solid legal alternative through streaming platforms, etc.
26.
by rossant 4mo ago
https://github.blog/news-insights/company-news/an-update-on-...
27.
by rossant 4mo ago
Brings me back! Well done!
28.
by rossant 4mo ago
Looking at him I can't believe he's 100. I haven't seen that many centenaries that look that fit.
29.
by rossant 4mo ago
One can understand why Internet access is useful, but why would it have to be mandatory?
30.
Ask HN: Agent-Developed Libraries?
1 points by rossant 4mo ago|0 comments

More ›