Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Introducing System One Models and Jev(typesafe.ai ↗)
    258comments
  2. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    183comments
  3. An Update on Wayback Machine Access(blog.archive.org ↗)
    214comments
  4. German Rheinmetall open-sources its Battlesuite connected weapon system protcol(rheinmetall.github.io ↗)
    40comments
  5. Gemini 3.8 Live and 3.8 Live Extended Thinking(blog.google ↗)
    190comments
  6. We got admin access to Baseten's production GitHub in 25 minutes(strix.ai ↗)
    114comments
  7. Jean-Pierre Serre is 100 years old today(st-andrews.ac.uk ↗)
    13comments
  8. Recreating Voodoo Graphics and a Late-1990s Gaming PC on an FPGA(nand2mario.github.io ↗)
    4comments
  9. Building a Linux GPU Driver for the M4 Mac Mini in One Month(codyho.dev ↗)
    105comments
  10. Sierra digital cameras on the Apple II(colino.net ↗)
    discuss
  11. Chopping up books when they're physically too big(mattkirkland.com ↗)
    123comments
  12. Learning to solve hard problems in RL for LLMs by never giving up(mnoukhov.github.io ↗)
    discuss
  13. The Beauty of Roundabouts(gruhn.me ↗)
    13comments
  14. WangNet – 1.8 MB, zero-dependency Numberwang adjudication in 11 languages(github.com/graafhenk ↗)
    43comments
  15. Show HN: Capsule – Single-file web apps that save their data into SQLite(withcapsule.app ↗)
    119comments
  16. Saving Jet Fuel(marksblogg.com ↗)
    13comments
  17. Let's make quality the norm again(forbrukerradet.no ↗)
    321comments
  18. Suspected sabotage causes major Netherlands rail disruption(bbc.com ↗)
    395comments
  19. A single firm is behind OpenAI, Anthropic, and Meta hacking scandals(effort.news ↗)
    165comments
  20. Show HN: Pizza Bot – An inbox for AI agents that work in the background(github.com/pizza-bot-app ↗)
    13comments
  21. Data races and the limits of ThreadSanitizer in C and Go(theconsensus.dev ↗)
    2comments
  22. Show HN: Hacking a $20 4G wireless hotspot into a texting device(bkovac.github.io ↗)
    31comments
  23. Most people prefer traditional architecture(worksinprogress.news ↗)
    223comments
  24. Jiga (YC W21) Is Hiring Product Engineer (Remote/US)(jiga.io ↗)
    discuss
  25. Why I'm still bearish on LLMs after Navier-Stokes(dank.systems ↗)
    128comments
  26. Cartesian – AI 3D Modeling for Design(formas.ai ↗)
    77comments
  27. The CSS Zen Garden dream, finally shipped(josprague.com ↗)
    69comments
  28. GEFS on OpenBSD: A Early Preview(marc.info ↗)
    60comments
  29. The Inference Hardware Revolution of 2026(ieee.org ↗)
    11comments
  30. 25 years of mass surveillance is enough(schneier.com ↗)
    288comments

Jean-Pierre Serre is 100 years old today

90 pointsby 5h agomathshistory.st-andrews.ac.uk
13 comments
4h agoHN ↗

I like this site of Mathematicians' biographies with some occasional quoted segments for extra flavor.

I also like how Serre wrote a book on linear representations of symmetry groups, because his wife needed a good exposition of the subject for her work on quantum chemistry, and that Serre described that as "fullfiling his duty as a husband" :-P

4h agoHN ↗

I did not like, and did not understand, epsilons and deltas.

It's nice to have this perspective validated by someone like Serre! I felt like I was missing something when I first encountered that formalism. In fact, all of my introductory calculus classes sucked and turned me off of math for a few years.

4h agoHN ↗

He later participated in Bourbaki, who were known by their overly formal style, tough.

2h agoHN ↗

A professor of mine had an anecdote of meeting Serre and complaining to him about Bourbaki style and how hard it is for students.

Serre's reply was "But we never wrote those books for students! We wrote them for researchers to have a handy reference for all proofs of basic results."

4h agoHN ↗

What's the alternative for explaining those concepts that's still reasonably rigorous?

3h agoHN ↗

When I first learned non-standard analysis, my reaction was that we don't need the axiom of choice to find the derivative of x^2.

The formalism is very simple symbolically. But the mathematical machine behind it is very complex.

3h agoHN ↗

Various algebras of dual numbers are used in most automatic derivative routines.

This is treated more rigorously and generically in the subject of synthetic differential geometry.

3h agoHN ↗

wanted to say this.

Also conceptually it feels just right to use nilpotents to probe the smooth structure. In a way nilpotents are violently smaller than even non standard analysis infinitesimals, as the laters’ powers are incredibly small but never vanishing.

Another way to see this is that it makes Taylor expansion exact by killing terms above a bound so it works naturally with the ecosystem surrounding it

Finally duals are very similar to complex in a way. i can be defined as root of X^2 + 1 = 0 even if it felt impossible initially, the dual number as a non nul solution of X^2 = 0 even if it is as counterintuitive.

2h agoHN ↗

There's no alternative that's significantly easier to understand and to use. The so-called "nonstandard analysis" hasn't caught on, because it's mostly the exact same arguments wrapped in slightly different language, not making them any simpler or shorter.

The language used by mathematicians is subject to constant evolution. 18th and 19th century results in analysis are not expressed and taught in the same way their original authors did it. Newton, Leibniz, Euler, Lagrange, Fourier, Riemann -- none of them expressed their results in terms of epsilons and deltas. These only caught on in the second half of 19th century, and they did so, because they were a better tool to rigorously prove the ideas.

New terminology inventions that make the subjects easier to understand take the field by storm. Some of the relatively recent examples are category theory, homological algebra, or, for that matter, the notion of sheafs, popularized by J.P. Serre himself. Mathematicians are very open to innovation, and intransigence is not the reason why we're stuck with epsilon-delta.

The reason is that nobody has yet come up with a better way of talking about these concepts. I repeatedly observe many people who seem to believe that their difficulty in understanding math stems from mathematicians gatekeeping their results. I think that this belief is just a coping mechanism. Mathematics is genuinely hard, and when people have trouble understanding something, it's easier to think that it's someone else's fault, rather than accepting one's own deficiencies.

1h agoHN ↗

I'm reading and liking his book just called "Trees" (some bites), it is about group actions on trees, written in the '80. It talks about the modular group among others, the tree action also being used in Shai Haran work on the "real" prime (if the AIs let us dream the old way about classic problems). Serre et al graph of groups idea is very categorical. He could well have been present in the very seminars when Grothendiek was breweing what is now called the Grothendiek construction (absurdly, since G was a serial constructor). That wraps that graph of groups thing.