HNHacker News
TopNewBestAskShowJobs

spidersouris

288 karma · joined August 21, 2020

meet.hn/city/48.5846140,7.7507127/Strasbourg

Socials: - bsky.app/profile/edoyen.com - contact@edoyen.com - github.com/spidersouris - https://edoyen.com

Interests: AI/ML, Books, Hacking, Hiking, Investment, Music, Networking, Open Source, Outdoor Activities, Philosophy, Privacy, Programming, Remote Work, Research, Science, Social Impact, Technology, Travel, UI/UX Design, Web Development, Writing

---

submissionscomments
spidersouris··on OpenAI, the Partition Principle, and Mathematics
It is also worth adding that the Association for Human Mathematics published a statement (which Tao reposted on his blog) in which they explicitly say the following:

> Mathematicians did not ask for this work to be done. The Advisory Group on Mathematics and Artificial Intelligence, from whom OpenAI has claimed to derive its legitimacy, opened their initial advisory statement by saying that frontier AI corporations should not test advanced mathematical problems on internal models. In ignoring the central premise of the Advisory Group’s position, OpenAI has indicated total disregard for the norms of scientific research — norms that guarantee that mathematics remains trustworthy, ethically researched, and in the public interest.

https://www.ahmath.org/

spidersouris··on OpenAI withdraws three mathematical results
I guess what OP meant is automated and with 100% accuracy.
spidersouris··on Claude Opus 5.5
But at the same time, nothing specific was asked in the prompt, so the boring result may arguably be what is the most aligned with the original request. Personally, I wouldn't want a model to add fuss to something while I never asked for it.
spidersouris··on We must pace the frontier
The more I read about everything that has been written regarding AI regulation since the OAI/HF incident, and the more it reminds me of the nuclear arms race (although the potential consequences would possibly be very different). Surely, we managed to negotiate a Non-Proliferation Treaty with most of the countries of the globe. Cannot we take inspiration from that for AI?
spidersouris··on Show HN: Nightshift – Your code gets better while you sleep
That's a nice idea but I hate how every instruction step in the README is just "Ask your agent to do it". Not only does it make it harder and more time-consuming to understand how the general system is implemented, but it also dumbs down users. Do you think people checking your repo wouldn't be able to copy/paste a few commands or find an equivalent on their system?
spidersouris··on AI models ran real businesses: They sent $12,431 in fake invoices, lost $3,200
> Once the AI starts applying to jobs

I guess that's already a reality? [1-2]

[1] https://github.com/jaimaann/LangHire

[2] https://github.com/adrianhajdin/job_pilot

(among many other similar projects)

spidersouris··on AI models ran real businesses: They sent $12,431 in fake invoices, lost $3,200
The recklessness is moot though. We don't have direct access to how the models were prompted and asked to respond to certain events, so they could well have been incited to commit fraud or other illegal actions, in which case the persons in control should be held accountable as perpetrators.
spidersouris··on Dyson CameraJet electric toothbrush
On the same topic, it's been a while since I have tried to find the best product to treat canker sores, but I have never found anything better than solutions composed of carboxylic/mineral acid and alcohol, and even then, it hardly suppresses the pain and I have found the treatment time to be about the same whether I apply something or not. The dream would be to have something that make them disappear near instantly.
spidersouris··on Dyson CameraJet electric toothbrush
But dental scalers don't offer the advantages water flossers do for gums, do they? Plus, from whet I've read online, it seems that these devices need to be used after brushing, as opposed to water flossers which are used before brushing. And for dislodging food (especially with braces), water flossers remain the best tool.
spidersouris··on Warp builds self-improving agents on Claude
The whole article screams Claude-written.
spidersouris··on Show HN: Tesana – An AI game engine that builds quality games end-to-end
Interesting. Are there any other services lie this or is it the first of its kind?
spidersouris··on The Dunning-Kruger effect may just be a data artefact (2020)
It is both amazing and saddening to me how you can have such an arrogant view of a whole field with just taking a 101 course.
spidersouris··on Immersive Linear Algebra Book with Interactive Figures (2015)
You don't have to be in school to learn!
spidersouris··on Ask HN: How do you find deep technical content?
Would also be interested in an invite, if anyone has any. Email on my user page.
spidersouris··on Speculative Speculative Decoding (SSD)
Note that a similar idea had already been suggested by Shen et al. (2025) in Speculative Decoding via Hybrid Drafting and Rollback-Aware Branch Parallelism (https://arxiv.org/abs/2506.01979), but with lower performance.
spidersouris··on This time is different
> Gen AI reached 39% adoption in two years

Source?

spidersouris··on TimeCapsuleLLM: LLM trained only on data from 1800-1875
I'm not sure what you'd call a "pioneering scientific advancement", but there is an increasing amount of examples showing that LLMs can be used for research (with agents, particularly). A survey about this was published a few months ago: https://aclanthology.org/2025.emnlp-main.895.pdf
spidersouris··on Microsoft please get your tab to autocomplete shit together
If you want to bind Tab to Accept suggestions:

Set-PSReadLineKeyHandler -Chord "Tab" -Function AcceptSuggestion

spidersouris··on Show HN: Pulse 2.0 – Live co-listening rooms where anyone can be a DJ
And plug.dj!
spidersouris··on Why do AI models use so many em-dashes?
What we also learned after GPT-3.5 is that, to circumvent the need for new training data, we could simply resort to existing LLMs to generate new, synthetic data. I would not be surprised if the em dash is the product of synthetically generated data (perhaps forced to be present in this data) used for the training of newer models.
spidersouris··on John Carmack on mutable variables
For type only though.
spidersouris··on Typst 0.14
FWIW, there is an open-source collaborative editor for Typst that was posted a couple of weeks ago on HN: https://news.ycombinator.com/item?id=45481791
spidersouris··on Typst 0.14
Maybe you can use Touying Exporter: https://github.com/touying-typ/touying-exporter
spidersouris··on Typst 0.14
To add on what's been said already on slide decks, another great slide creation package in Typst is touying[1]. I've used it to create my own academic theme[2] for courses or conference presentations.

[1] https://touying-typ.github.io/ [2] https://typst.app/universe/package/touying-unistra-pristine/

spidersouris··on Electricity can heal wounds three times as fast (2023)
> The project was recently granted new funding so the research can get to market and benefit patients.

How is it now? Has this been extended to real use outside of research?

spidersouris··on SynthID – A tool to watermark and identify content generated through AI
There is a repo: https://github.com/google-deepmind/synthid-text
spidersouris··on GPT-5: "How many times does the letter b appear in blueberry?"
There is no inherent need for humans to be "trained". Children can solve problems on their own given a comprehensible context (e.g., puzzles). Knowledge does not necessarily come from direct training by other humans, but can also be obtained through contextual cues and general world knowledge.
spidersouris··on GPT-5: "How many times does the letter b appear in blueberry?"
For the AI to say this or to produce the correct answer would be easily achievable with post-training. That's what was done for the strawberry problem. But it's just telling the model what to reply/what tools to use in that exact situation. There's nothing about "self-awareness".
spidersouris··on I tried to replace myself with ChatGPT in my English class
What's the issue with "… disproportionately affects …"? It seems to be a correct English construction (even though the frequency in COCA is relatively low; 72).

Some examples:

> Indeed, the recent cases of hyperinflation in Brazil, Argentina, and Poland illustrate that although hyperinflation is harmful to savers and disproportionately affects the poor (The Independent Review)

> A hearing is set Thursday on the new version of a legislative bill to eliminate scheduled pay increases for state employees that nixes a section that disproportionately affects rural legislative information offices (USA Today)

> Suicide is a key mental health issue which disproportionately affects men. (london.gov.uk)

spidersouris··on 'Gwada negative': French scientists find new blood type in woman
FYI, the only English article at the time of posting was Entrevue's, which is why it was initially chosen. But indeed, Le Monde's article is much better.
Page 1 of 6Next →