frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Category Theory Illustrated – Orders

https://abuseofnotation.github.io/category-theory-illustrated/04_order/
30•boris_m•1h ago

Comments

arketyp•38m ago
There is a way to frame category theory such that it's all just arrows -- by associating the identity arrow (which all objects have by definition) with the object itself. In a sense, the object is syntactic sugar.
dgan•36m ago
I think it is pretty obvious that at the challenge with all abstract mathematics in general and the category theory in particular isnt the fact that people dont understand what a "linear order" is, but the fact it is so distant from daily routine that it seems completely pointless. It's like pouring water over pefectly smooth glass
raincole•30m ago
Is there a "mind-blowing fact" about category theory? Like the first time I've heard that one can prove there is no analytical solution for a polynomial equation with a degree > 5 with group theory, it was mind-blowing. What's the counterpart of category theory?
tux3•14m ago
Sure, category theory can't prove the unsolvability of the quintic. But did you know that a monad is really just a monoid object in the monoidal category of endofunctors on the category of types of your favorite language?
gobdovan•11m ago
Unless there's some idiosyncratic meaning for the `=>`, the Antisymmetry one basically says `Orange -> Yellow => Yellow -/> Orange`. The diagram is not acurate. The prose is very imprecise. "It also means that no ties are permitted - either I am better than my grandmother at soccer or she is better at it than me." NO. Antisymmetry doesn't exclude `x = y`. Ties are permitted in the equality case. Antisymmetry for a non-strict order says that if both directions hold, the two elements must in fact be the same element. The author is describing strict comparison or total comparability intuition, not antisymmetry.
bubblyworld•4m ago
I don't think they are completely wrong - "=>" is just implication. A hidden assumption in their diagrams is that circles of different colours are assumed to be different elements.

A morphism from orange to yellow means "O <= Y". From this, antisymmetry (and the hidden assumption) implies that "Y not <= O".

Totality is just the other way around (all two distinct elements are comparable in one direction).

China humanoid robot half-marathon to showcase technical leaps

https://www.reuters.com/world/asia-pacific/china-humanoid-robot-half-marathon-showcase-technical-...
2•JumpCrisscross•1m ago•0 comments

A brief history of C/C++ programming languages

https://lemire.me/blog/2026/04/09/a-brief-history-of-c-c-programming-languages/
1•signa11•1m ago•0 comments

Cannabis may make you remember things that never happened

https://www.nationalgeographic.com/health/article/how-cannabis-affects-memory-thc-false-recall
2•johntfella•7m ago•0 comments

Anthropic decided to shut down our organization for an alleged violation

https://twitter.com/patomolina/status/2045281665363386504
1•isolli•7m ago•1 comments

Ask HN: How do small startups, solo/lean HR agencies manage hiring pipeline?

1•kathir05•10m ago•0 comments

Show HN: I can't write Python. It works anyway

https://github.com/Wewoc/Garmin_Local_Archive
1•Wewoc•12m ago•0 comments

Laimark – 8B LLM that self-improves. Consumer GPU

https://github.com/seetrex-ai/laimark
2•jesustabares•19m ago•0 comments

Peter Thiel Is Launching an "AI Ministry of Truth" Called Objection

https://old.reddit.com/r/antiai/comments/1sngw6f/peter_thiel_is_launching_an_ai_ministry_of_truth/
3•doener•26m ago•0 comments

Men caught competing in women's category of prestigious South African marathon

https://www.cnn.com/2026/04/17/sport/men-found-womens-category-sa-marathon-intl-scli
1•breve•26m ago•0 comments

Grok TTS and STT APIs

https://x.ai/news/grok-stt-and-tts-apis
2•chopete3•26m ago•1 comments

BibCrit – LLM grounded in ETCBC corpus data for Biblical textual criticism

https://github.com/Jossifresben/BibCrit
1•jossifresben•32m ago•0 comments

Long Covid Diagnostic Out of Stanford

https://join.muno.bio/
2•limalabs•36m ago•0 comments

Forsp: A Forth+Lisp hybrid lambda calculus language (2024)

https://xorvoid.com/forsp.html
1•HeliumHydride•37m ago•0 comments

The Art of the Fictional Pop Song

https://www.newyorker.com/culture/pop-music/the-art-of-the-fictional-pop-song
2•fortran77•38m ago•0 comments

America Lost the Mandate of Heaven

https://geohot.github.io//blog/jekyll/update/2026/04/18/america-mandate-of-heaven.html
2•mefengl•41m ago•0 comments

Claude Opus wrote a Chrome exploit for $2,283

https://www.theregister.com/2026/04/17/claude_opus_wrote_chrome_exploit/
2•Mohansrk•42m ago•0 comments

Purdue University CS240 Class over 50% of students 'caught' using AI on homework

https://old.reddit.com/r/Purdue/comments/1sogfb4/comment/ogsvymy/
1•twaldin•47m ago•2 comments

Unweight: Lossless MLP Weight Compression for LLM Inference

https://research.cloudflare.com/nikulin2026/
2•jgrahamc•48m ago•0 comments

Helpmate-Live, Social and AI Chat with Built-In CRM for WordPress

1•RhapsodyPlugins•52m ago•0 comments

Show HN: A delivery gate that automatically releases files when invoice is paid

1•pixelatedRudy•54m ago•1 comments

GloraMD Face Lift Serum

https://www.facebook.com/GloraMDFaceLiftSerumUS
1•bbangerr•55m ago•0 comments

I made a self-employed expense keeper

https://bizlect.com
1•ispaceman•56m ago•0 comments

Garry Tan – On the LOC Controversy

https://twitter.com/garrytan/status/2045404377226285538
1•helloplanets•56m ago•0 comments

48 domains produce 22.5% of ChatGPT's B2B citations

https://growtika.com/blog/chatgpt-citation-economy
2•Growtika•1h ago•0 comments

Soul.md – open file format for AI agent identity

https://github.com/AntonioTF5/soul-spec
1•afonie•1h ago•0 comments

Eating fruits, vegetables and whole grains may increase chance of lung cancer

https://news.keckmedicine.org/eating-fruits-vegetables-and-whole-grains-may-increase-chance-of-ea...
3•geox•1h ago•2 comments

F1 in China: I've never seen so many people in those grandstands

https://arstechnica.com/cars/2026/03/f1-in-china-ive-never-seen-so-many-people-in-those-grandstands/
1•PaulHoule•1h ago•0 comments

The agent that grows with you

https://hermes-agent.nousresearch.com/
1•sponno•1h ago•0 comments

A simple LinkedIn prospecting trick that improved our lead quality

https://www.indiehackers.com/post/a-simple-linkedin-prospecting-trick-that-improved-our-lead-qual...
1•YashNetworkHQ•1h ago•0 comments

New wave of immunotherapy is eliminating cancers

https://www.bbc.com/future/article/20260410-how-a-new-wave-of-immunotherapy-is-eliminating-cancers
1•andsoitis•1h ago•0 comments