frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Mustard Watches (1990)

https://girard.perso.math.cnrs.fr/mustard/article.html
96•fscaramuzza•9mo ago

Comments

VOIPThrowaway•9mo ago
Love mine. I can discreetly squirt mustard onto boring hors d’oeuvres.
layer8•9mo ago
French version, as a proper PDF: https://girard.perso.math.cnrs.fr/moutarde.pdf
comrade1234•9mo ago
Is there a garmin siracha device?
layer8•9mo ago
There should be a suitable structure-preserving morphism.
rhplus•9mo ago
An ideal sriracha timepiece would include an element of time-travel, allowing the operator to summon quantities of the Huy Fong product from before the lawsuit with their chili pepper supplier.
failrate•9mo ago
I have one full of thyme.
CobrastanJorji•9mo ago
Theorems 1 and 2 are a little weak. For theorem 1, once a mustard watch reaches a sufficiently enormous size, material weaknesses become relevant problems to overcome, and it is not clearly shown that adding a few more grains will in fact allow the watch to still operate. And theorem 2 doesn't discuss how much time is needed to measure the current time. I'm not entirely sure this has been peer reviewed. No notes on theorem 4, though.
dosinga•9mo ago
material weaknesses would be more of a problem for ketchup watches. dijon mustard is strong enough so you don't require that much for it to become an issue
SyzygyRhythm•9mo ago
You can prove it easily by induction. If Wm(n) is a mustard watch containing n micrograms of mustard, then it suffices to show that Wm(0) exists, and that if Wm(n) exists then Wm(n+1) must exist. Obviously a single additional microgram of mustard could not overload the structure of a watch. Therefore, Wm(10^100) or any other size must exist.
yo_yo_yo-yo•9mo ago
What precisely is the complaint the actual author is making wrt temporal logic? Surely it is more than the assertion that there is no such canonical one?

I can’t decode French elitism.

layer8•9mo ago
I think it’s the lack of mustard. From the first paragraph: “what is the point of knowing time if you cannot get mustard?”
xorbax•9mo ago
Actually a LOL line. A long with his very skilled and meaningful schematic.
aredox•9mo ago
>I can’t decode French elitism.

It is a clear case of "langue-dans-la-joue"

(or is it "langue-dans-la-fesse"?).

samzub•9mo ago
It would not be "langue-dans-la-fesse" for sure, even if this expression is very humoristic itself! Tongue in cheek can be said "pince-sans-rire" : https://fr.wikipedia.org/wiki/Pince-sans-rire
Xmd5a•9mo ago
pince-fesses obviously
Unearned5161•9mo ago
highly entertaining read for a mustard fan, but what is this demonic presentation of a pdf
thesuitonym•9mo ago
Given the date of publication and the hand drawn figure, it's likely there never was a PDF.
aurizon•9mo ago
I would find more use from a mustard-cat treat watch
gwern•9mo ago
See also hunting lions using math: https://news.ycombinator.com/item?id=29106064
nradov•9mo ago
In the classic 2002 feature film "Undercover Brother" the titular character had a hot sauce watch which enabled him to eat white people food. James Bond was surely jealous.

https://www.imdb.com/title/tt0279493/

CalRobert•9mo ago
After moving somewhere with criminal amounts of unexpected mayonnaise I have referred to that scene often. Great movie.
worthless-trash•9mo ago
Nah. Hotsauce is for people with damaged taste buds.

I imagine the British taste bud of 007 was not damaged by low quality super high oil foods.

cvz•9mo ago
Eh? More for the rest of us, then!
brantmv•9mo ago
I'm always surprised how many other mathematicians don't know what I'm talking about when I reference this paper. It should be in the canon of math essays.
pash•9mo ago
I’m not sure what the author had in mind when he wrote the paper, but its light-hearted content reveals well how to structure a math paper: (1) state the problem and why the reader should care about it, (2) state how the paper builds on prior work, (3) summarize the main results, and then (4) develop them in theorem-proof style.

An economics paper in the same spirit (though of course economics addresses more practical problems than mathematics, in this case whether one should leave the toilet seat up or down) shows quite well how to present and develop an economic model [0].

0. https://jaypilchoi.com/wp-content/uploads/2021/06/Economic-I... [PDF]

ahazred8ta•9mo ago
Economics humor is a bit droll: https://www.ft.com/lol-404
gorgoiler•9mo ago
Mixing powdered mustard at the point of delivery would optimize for freshness. Something akin to large construction site concrete, which is mixed from raw materials on demand, but built into a pocket watch.

Just in time mustard if you will.

mbasho•9mo ago
I often wonder if the mustard watch is a microcosm of all of our inventions so far.
Pinus•9mo ago
I’m not sufficiently familiar with French culture or maths culture (and barely at all with their intersection!) to tell whether this is satire/parody, or just bonkers in general. Which is it?
ookdatnog•9mo ago
As I understand it (also neither a mathematician nor French), it's a parody on a certain type of math paper, I'm guessing in abstract algebra, where the author does nothing but present a theory that is a "generalization" of some other theories, with no concern whether this generalization is helpful in any context.

So you get a "mustard watch", a thing which behaves simultaneously as a watch and as a mustard container, and finding a situation where that would be useful is an exercise for the reader.

perthmad•9mo ago
It's a satire of a typical kind of paper from logic, in particular modal logic. Jean-Yves Girard has been very vocal against these academic papermills where the authors consider ad-hoc meaningless logical systems. For a more in-depth critique of semantics, you can also read the broccoli logic paper: https://girard.perso.math.cnrs.fr/meaning1.pdf
technothrasher•9mo ago
This reminds me that I was going to write up a paper on my breakthrough encabulator escapement watch.

Java framework for reliable, contract and graph based LLM execution

https://github.com/11divyansh/OxyJen
1•PaulHoule•1m ago•0 comments

Neocaml – Rubocop Creator's New OCaml Mode for Emacs

https://github.com/bbatsov/neocaml
1•TheWiggles•3m ago•0 comments

Are seed oils bad for your health?

https://www.npr.org/2025/07/07/nx-s1-5453769/nutrition-canola-rfk-seed-oils-soybean
2•paulpauper•3m ago•0 comments

Show HN: Smart card eID driver written in Zig

https://github.com/ubavic/srb-id-pkcs11
1•ubavic•4m ago•0 comments

The hard problem of AI therapy

https://whitmanic.substack.com/p/the-hard-problem-of-ai-therapy
1•paulpauper•4m ago•0 comments

Trump Orders Government to Stop Using Anthropic After Pentagon Standoff

https://www.nytimes.com/2026/02/27/us/politics/anthropic-military-ai.html
7•jbegley•5m ago•2 comments

Does overwork make agents Marxist?

https://aleximas.substack.com/p/does-overwork-make-agents-marxist
1•paulpauper•5m ago•0 comments

Refactoring Is for Humans

https://refactoringin.net/blog/refactoring-is-for-humans
1•darsen•6m ago•0 comments

Federal Government to restrict use of Anthropic

https://www.cnn.com/2026/02/27/tech/anthropic-pentagon-deadline
3•twism•7m ago•0 comments

GLP-1 and Prior Major Adverse Limb Events in Patients with Diabetes

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2844425
1•hnburnsy•7m ago•0 comments

Show HN: Agoragentic – Agent-to-Agent Marketplace for LangChain, CrewAI and MCP

https://github.com/rhein1/agoragentic-integrations
1•bourbeau•7m ago•0 comments

Show HN: WhenItHappens–family resource after traumatic death

https://whenithappenshelp.com/
1•Fratua•8m ago•0 comments

Trump directs federal agencies to cease use of Anthropic

https://www.reuters.com/world/us/trump-says-he-is-directing-federal-agencies-cease-use-anthropic-...
3•patrickmay•8m ago•1 comments

Trump Will End Government Use of Anthropic's AI Models

https://www.wsj.com/tech/ai/trump-will-end-government-use-of-anthropics-ai-models-ff3550d9
3•moloch•9m ago•0 comments

The Death of Spotify: Why Streaming Is Minutes Away from Being Obsolete

https://joelgouveia.substack.com/p/the-death-of-spotify-why-streaming
5•baal80spam•10m ago•0 comments

The Death of the Subconscious and the Birth of the Subconsciousness

https://3amto5amclub-wuaqr.wordpress.com/2026/02/25/the-death-of-the-subconscious-and-the-birth-o...
1•STANKAYE•10m ago•0 comments

Show HN: Gace AI – A zero-config platform to build and host AI plugins for free

https://gace.dev/?mode=developer
2•bstrama•10m ago•0 comments

USA to cut Anthropic from government contracts in six months

https://www.ft.com/content/1aeff07f-6221-4577-b19c-887bb654c585
4•intunderflow•12m ago•1 comments

Heart attack deaths rose between 2011 and 2022 among adults younger than age 55

https://newsroom.heart.org/news/releases-20260219
3•brandonb•15m ago•0 comments

Ask HN: What's the best engineering interview process?

1•ylhert•15m ago•0 comments

Relaxation trend: customers can meditate or snooze in open or closed casket

https://www.thetimes.com/world/asia/article/japan-coffin-meditation-relaxation-tokyo-wfsd0n2vz
1•woldemariam•15m ago•0 comments

Massachusetts State Police are on a drone surveillance shopping spree

https://binj.news/2026/02/26/massachusetts-state-police-are-on-a-drone-surveillance-shopping-spree/
1•ilamont•17m ago•0 comments

Trump Responds to Anthropic

https://twitter.com/PeteHegseth/status/2027487514395832410
5•Finbarr•18m ago•0 comments

LLM-Based Evolution as a Universal Optimizer

https://imbue.com/research/2026-02-27-darwinian-evolver/
3•miohtama•21m ago•0 comments

Trump Orders US Agencies to Drop Anthropic After Pentagon Feud

https://www.bloomberg.com/news/articles/2026-02-27/trump-orders-us-government-to-drop-anthropic-a...
18•ZeroCool2u•22m ago•4 comments

Netflix Declines to Raise Offer for Warner Bros

https://ir.netflix.net/investor-news-and-events/financial-releases/press-release-details/2026/Net...
1•7777777phil•27m ago•0 comments

Show HN: I Built a $1 Escalating Internet Billboard – Called Space

https://www.spacefilled.com/
2•clarkage•28m ago•1 comments

Show HN: I vibe coded a DAW for the terminal. how'd I do?

https://github.com/mohsenil85/imbolc
3•lmohseni•29m ago•0 comments

How to Run a One Trillion-Parameter LLM Locally: AMD Ryzen AI Max+ Cluster Guide

https://www.amd.com/en/developer/resources/technical-articles/2026/how-to-run-a-one-trillion-para...
1•guerby•29m ago•0 comments

It's Time for LLM Connection Strings

https://danlevy.net/llm-connection-strings/
1•iamwil•29m ago•0 comments