Top stories

Live mirror
30 storiesupdated 0s agoView source snapshot
  1. Introducing System One Models and Jev(typesafe.ai ↗)
    172comments
  2. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    157comments
  3. German Rheinmetall open-sources its Battlesuite connected weapon system protcol(rheinmetall.github.io ↗)
    11comments
  4. An Update on Wayback Machine Access(blog.archive.org ↗)
    159comments
  5. Jean-Pierre Serre is 100 years old today(st-andrews.ac.uk ↗)
    9comments
  6. Gemini 3.8 Live and 3.8 Live Extended Thinking(blog.google ↗)
    148comments
  7. We got admin access to Baseten's production GitHub in 25 minutes(strix.ai ↗)
    85comments
  8. Building a Linux GPU Driver for the M4 Mac Mini in One Month(codyho.dev ↗)
    26comments
  9. Chopping up books when they're physically too big(mattkirkland.com ↗)
    78comments
  10. WangNet – 1.8 MB, zero-dependency Numberwang adjudication in 11 languages(github.com/graafhenk ↗)
    29comments
  11. I can't stop thinking about Papua New Guinea(notnottalmud.substack.com ↗)
    401comments
  12. Show HN: Capsule – Single-file web apps that save their data into SQLite(withcapsule.app ↗)
    111comments
  13. Data races and the limits of ThreadSanitizer in C and Go(theconsensus.dev ↗)
    1comments
  14. GEFS on OpenBSD: A Early Preview(marc.info ↗)
    49comments
  15. Vibe Coding is the new Internet Dating?(joecmarshall.com ↗)
    29comments
  16. Learning to solve hard problems in RL for LLMs by never giving up(mnoukhov.github.io ↗)
    discuss
  17. Jiga (YC W21) Is Hiring Product Engineer (Remote/US)(jiga.io ↗)
    discuss
  18. Let's make quality the norm again(forbrukerradet.no ↗)
    277comments
  19. The CSS Zen Garden dream, finally shipped(josprague.com ↗)
    53comments
  20. Suspected sabotage causes major Netherlands rail disruption(bbc.com ↗)
    376comments
  21. Show HN: Pizza Bot – An inbox for AI agents that work in the background(github.com/pizza-bot-app ↗)
    2comments
  22. Why I'm still bearish on LLMs after Navier-Stokes(dank.systems ↗)
    1comments
  23. Cartesian – AI 3D Modeling for Design(formas.ai ↗)
    66comments
  24. Show HN: Hacking a $20 4G wireless hotspot into a texting device(bkovac.github.io ↗)
    30comments
  25. A single firm is behind OpenAI, Anthropic, and Meta hacking scandals(effort.news ↗)
    130comments
  26. The Inference Hardware Revolution of 2026(ieee.org ↗)
    9comments
  27. Most people prefer traditional architecture(worksinprogress.news ↗)
    180comments
  28. US confirms for first time it has deployed space weapons(bbc.com ↗)
    286comments
  29. Giving up on smart rings(notesbylex.com ↗)
    127comments
  30. Java 27(openjdk.org ↗)
    268comments

Jean-Pierre Serre is 100 years old today

59 pointsby 1h agomathshistory.st-andrews.ac.uk
9 comments
1h 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

58m 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.

52m agoHN ↗

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

51m agoHN ↗

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

13m 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.

14m 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.