frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

AI Makes the Easy Part Easier and the Hard Part Harder

https://www.blundergoat.com/articles/ai-makes-the-easy-part-easier-and-the-hard-part-harder
1•birdculture•52s ago•0 comments

Show HN: Fine-tuned Qwen2.5-7B on 100 films for probabilistic story graphs

https://cinegraphs.ai/
1•graphpilled•1m ago•0 comments

A failed wantrepreneur's view on common startup advice

https://developerwithacat.com/blog/202602/startup-advice/
1•mmarian•1m ago•0 comments

Show HN: BestClaw Simple OpenClaw/MoltBot for non tech people

https://bestclaw.host/
1•nihey•2m ago•0 comments

AI is making me anxious and stupid

https://tom.so/posts/ai-is-making-me-anxious-and-stupid
1•tomupom•5m ago•0 comments

Show HN: Real-time path tracing of medical CT volumes in the browser via WebGPU

https://grenzwert.net/
1•MickGorobets•9m ago•1 comments

United States – Crypto Scam Help – Intelligence Cyber Wizard Safe Guide

1•Forensics•12m ago•0 comments

What to Do After a Crypto Scam (USA) Intelligence Cyber Wizard Explained

1•Forensics•12m ago•0 comments

The Physics of 588: A 17.64μm Isolation Barrier Strategy for 5nm Process

https://github.com/eggpine84-del/NHE-CODING
1•eggpine84•13m ago•0 comments

My Eighth Year as a Bootstrapped Founder

https://mtlynch.io/bootstrapped-founder-year-8/
1•mtlynch•14m ago•0 comments

Data Modelling Open Source

https://github.com/sqlmodel/sqlmodel
1•Sean766•17m ago•0 comments

Mid-life transitions

https://blogs.gnome.org/chergert/2026/02/06/mid-life-transitions/
2•pabs3•17m ago•0 comments

My Airships – My "No. 9," the Little Runabout

https://en.wikisource.org/wiki/My_Airships/Chapter_22
1•interstice•18m ago•0 comments

Show HN: Portview, A diagnostic-first port viewer for Linux (~930 KB, zero deps)

https://github.com/Mapika/portview
3•Mapika•18m ago•0 comments

Show HN: Claude has a compiler, I have SlopScript

https://slopscript.netlify.app/
1•hiten_sharma•21m ago•0 comments

Context Is Part of the Game

https://joy.pm/context-is-part-of-the-code/
1•rafadc•22m ago•0 comments

Dave Farber has passed away

https://lists.nanog.org/archives/list/nanog@lists.nanog.org/thread/TSNPJVFH4DKLINIKSMRIIVNHDG5XKJCM/
9•vitplister•22m ago•1 comments

Researchers find brain mechanism behind 'flashes of intuition'

https://medicalxpress.com/news/2026-02-brain-mechanism-intuition.html
1•pseudolus•25m ago•0 comments

Extracting Xcode's Claude Code Prompt

https://www.jackpearce.co.uk/posts/extracting-xcodes-claude-code-prompt
1•jkpe•25m ago•0 comments

AI is not another abstraction because god plays dice

https://rakhim.exotext.com/ai_is_not_another_abstraction_because_god_plays_dice
2•freetonik•26m ago•0 comments

Show HN: Tandem – An open-source, local-first AI workspace (Rust and React)

1•frumu•29m ago•0 comments

Show HN: AI Perks – A curated list of free AI credits and deals for developers

https://www.getaiperks.com/en
1•artluko•29m ago•0 comments

Why E cores make Apple Silicon fast

https://eclecticlight.co/2026/02/08/last-week-on-my-mac-why-e-cores-make-apple-silicon-fast/
2•ingve•29m ago•0 comments

Show HN: Google Maps but for your repo (Open Source)

https://github.com/zacharykapank/repomap
1•zacharykapank•31m ago•0 comments

Djevops: Host Django on Bare Metal

https://github.com/mherrmann/djevops
1•mherrmann•32m ago•0 comments

How to Destroy a Space Station

https://www.thequantumcat.space/p/how-to-destroy-a-space-station
1•verzali•33m ago•0 comments

Show HN: I built a framework to benchmark LLMs on System Design and Architecture

https://github.com/Ruhal-Doshi/hld-bench
1•ruhal•33m ago•0 comments

What do you expect from a Turkey-based hosting provider?

1•dpnet•33m ago•0 comments

Why Files Are Not Enough as Memory for AI Agents

https://medium.com/versanova/why-files-are-not-enough-as-memory-for-ai-agents-5a4aeca81154
2•gauravsc•34m ago•0 comments

Nabaztag: Embodiment of "IoT" that was before its time

https://nabaztag.com/archive/violet
1•simonjgreen•38m ago•0 comments
Open in hackernews

Bourbaki – A Secret Society of Mathematicians

https://books.google.com/books/about/Bourbaki.html
54•tzury•5mo ago

Comments

itsthecourier•5mo ago
https://www.google.com.do/books/edition/Bourbaki/-CXn6y_1nJ8...

this one?

tzury•5mo ago
https://books.google.ae/books?id=-CXn6y_1nJ8C&pg=PA18&redir_...

yes, this is the original link I submitted. not sure why it was modified.

Zambyte•5mo ago
If you want a very deep rabbit hole to go down, look into the connections between the Bourbaki group and Twenty One Pilots lore :)
futura_heavy•5mo ago
He goes by Nico, fwiw.
bikenaga•5mo ago
The book by Mashaal and a book by Aczel (which I enjoyed) were reviewed by Michael Atiyah (1966 Fields Medalist): "Bourbaki, A Secret Society of Mathematicians" (Maurice Mashaal) and "The Artist and the Mathematician" (Amir Aczel) - Notices of the American Mathematical Society, v. 54, no. 9, October, 2007 - https://www.ams.org/notices/200709/tx070901150p.pdf

There have been numerous articles about Bourbaki, including some by former Bourbaki members:

"The Work of Bourbaki During the Last Thirty Years" - Jean Dieudonne - Notices of the American Mathematical Society, v. 29, no. 7, November, 1982 - https://www.ams.org/journals/notices/198211/198211FullIssue....

"Twenty-Five Years with Nicolas Bourbaki, 1949–1973" - Armand Borel - Notices of the American Mathematical Society, v. 45, no. 3, March, 1998 - https://www.ams.org//journals/notices/199803/borel.pdf

Edit: fixed typo

fritzo•5mo ago
"secret society" -> "anonymous publishing group"
Guthur•5mo ago
Potato -> Po Ta To
seanhunter•5mo ago
There's a really huge difference. Membership of the group is not secret nor are the proceedings of their conferences etc. They have a twitter handle for goodness sake - that's not what you do if you actually want your society to be secret.

The thing they do is publish work by all members under a single pseudonym.

tzury•5mo ago
this is the link I posted. not sure why it got modified

https://books.google.ae/books?id=-CXn6y_1nJ8C&pg=PA18&redir_...

kzz102•5mo ago
It's interesting that while Bourbaki had a large influence on modern mathematics, very few people read their books (at least among the people I know). In a sense, their project of producing a definitive exposition for a large part of mathematics has failed. I wonder whether it's because different branches of mathematics have their unique personalities, and therefore the attempt to provide a unified point of view are bound to fail.
madcaptenor•5mo ago
Also mathematicians tend to not read "the classics" of the field. Do the people you know read other math books from the same time period?
throwaway81523•5mo ago
Yes, Whitaker & Watson (analysis), Hardy and Wright (number theory), Dieudonne (analysis and he was literally a Bourbaki member), heck, Euclid's Elements; Gauss Disquisitiones, etc. Bourbaki is more of a monument. Writing it was necessary, but for readers it suffices to know that it is there ;).
Davidzheng•5mo ago
while it's certainly not read by most mathematicians, Bourbaki (especially set theory & general topology) are still quite often read by mathematicians in training I believe.
throwaway81523•5mo ago
The set theory book is, at best, very outdated. No idea about topology.
euiq•5mo ago
General Topology is valuable, especially for the filter perspective; so are some of the Algebra volumes.
kzz102•5mo ago
I was applying a unfair standard to them of course. Every field has a few classics that last a long time, but most old books are not read. But I think Bourbaki maybe had grand ambitions that were eventually unrealized. My theory is that the presentation of mathematics is not based on unifying principles, but rather on the collective taste of mathematicians. So what end up being the most popular books is based on how the collective taste evolve.
ysofunny•5mo ago
they provided a unified point of view by explaining it all in terms of sets

ultimately they failed because they wrote such that it didn't matter if other people understood. it's a style that is only intelligible if you already know (from some other experience) what they are describing.

wrp•5mo ago
I read once that the general attitude of the group was that their publications were not meant to be widely read, but just to provide the foundation for better expository work.

I also heard that part of the bad reputation that Bourbaki got was due to their being used in graduate education, despite warnings that they weren't suitable. In the 1950s/60s, there was a lack of good graduate texts. Of course, then Serge Lang came along...

seanhunter•5mo ago
Serge Lang, who happened to be a member of the Bourbaki group for some time coincidentally.
bikenaga•5mo ago
On the positive side:

Bourbaki is known for their "definition-theorem-proof" style, which for a while influenced a lot of mathematical writing. It makes the logic of the presentation easy to follow. The proofs are complete and fairly clear. The logical order within books and in the series of books as a whole is also pretty good - if you read pages 1 through n in the books, you have the prerequisites to read a proof on page n + 1. There is a good index, a table of notation, exercises (at the back, not by section), and a table of contents (at the back, since the books are in French).

They probably originated the "dangerous bend" symbol (a Z-shaped curve in the margin) to indicate a tricky or subtle point.

They're pretty good as references (to look up the proof of a result, or read about single topic).

On the negative side:

There is little exposition in the sense of motivation for what is presented, or applications.

I'm looking at "Algèbre - Chapitre 10 - Algèbre homologique" (the only Bourbaki I own). In the introduction, they say:

"Le mode d'exposition suivi est axiomatique et procède le plus souvent du général au particulier."

"L'utilité de certaines considérations n'apparaitra donc au lecteur qu'à la lecture de chapitres ultérieurs, à moins qu'il ne possède déjà des connaissances assez èntendues."

Thus, you won't find applications, or many examples - just definition-theorem-proof.

It's assumed you know why you're reading the material, and so don't need to be told.

This particular volume is a little unusual for the series in that it has lots of pictures, but that's only because this is homological algebra, so there are many commutative diagrams. Most of the volumes are just walls of text (though the formatting and the production tend to be very clear).

(I believe they actually wrote some historical remarks in some of the books which were collected in a separate volume - I don't see any historical material in the volume I'm looking at, however. The members were not unmindful of things like history: Dieudonne wrote an excellent history of algebraic and differential topology, and Andre Weil wrote a book on the history of numbers.)

The fact that it took a while for many of the volumes to be translated from French to English may have deterred some English readers (though mathematical French is not too hard to understand even if you don't know French [like me]).

On the whole, (in my opinion) the presentation is too relentlessly formal for most people to try learning a subject (as opposed to a small topic) by reading Bourbaki. They did produce a "definitive exposition" of the subjects they covered, in the sense that the results and proofs are there. It's just that most people would have a hard time learning any of the subjects by reading through the books.

siliconunit•5mo ago
imagine having to rigorously prove that blood is really essential for the survival of a human being before every surgery, thanks Bourbaki. /s
kirubakaran•5mo ago
We had our own: https://news.ycombinator.com/threads?id=nickb

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

throwaway81523•5mo ago
Book is from 2006, title should note this. Publication page: https://bookstore.ams.org/bourbaki
TZubiri•5mo ago
The link seems broken, points to books.google.com for me