FAQ: What is a TPM and how can I use it on Linux?

https://debugging.works/blog/tpm-explained/

1•kmille•2m ago•0 comments

Terence Tao: DeepMind's open repository of formalized mathematics conjectures

https://mathstodon.xyz/@tao/114586574834318736

1•joak•5m ago•0 comments

Shunn Manuscript Format in LaTeX

https://github.com/theIofSauron/Shunn-manuscript-format-LaTeX

1•Morgoth421•10m ago•1 comments

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

https://codeberg.org/Ironclad/Ironclad/releases/tag/v0.7.0

1•birdculture•17m ago•0 comments

Show HN: I made a desktop app to run any MCP

https://onemcp.io

1•islemmaboud•20m ago•0 comments

Cinematography of "Andor"

https://www.pushing-pixels.org/2025/05/20/cinematography-of-andor-interview-with-christophe-nuyens.html

4•rcarmo•27m ago•0 comments

0.9999 ≊ 1

https://lcamtuf.substack.com/p/09999-1

3•bertman•32m ago•1 comments

GNU Guix Migrating to Codeberg

https://guix.gnu.org/en/blog/2025/migrating-to-codeberg/

5•transpute•38m ago•0 comments

People Get Good at Their Jobs Through Practice

https://www.betonit.ai/p/how_people_gethtml

3•barry-cotter•39m ago•0 comments

Analogmaxxing

https://www.nklswbr.com/blog/analogmaxxing

1•nklswbr•40m ago•0 comments

Why 'wrench attacks' on wealthy crypto holders are on the rise

https://apnews.com/article/crypto-bitcoin-kidnapping-wrench-attack-ddc7263c25ba590f85648e1682576971

2•Physkal•40m ago•0 comments

Help me with some ideas, add to the list here

https://wishtogether.xyz/insertgif?id=6838658a68

1•01-_-•47m ago•0 comments

Hyundai's first three-row electric SUV is here

https://electrek.co/2025/05/30/hyundai-delivers-first-three-row-ioniq-9-suvs/

2•01-_-•50m ago•0 comments

Neoq – a queue-agnostic background job library for Go

https://github.com/acaloiaro/neoq

1•enether•51m ago•2 comments

DevEco Testing: Official Automation Testing Tool for HarmonyOS Applications

1•moyantianwang•57m ago•0 comments

KFC's Original Recipe

https://en.wikipedia.org/wiki/KFC_Original_Recipe

2•sans_souse•59m ago•0 comments

Science cuts may close WA LIGO observatory that confirmed theory of relativity

https://www.tri-cityherald.com/news/business/health-care/article307573471.html

6•perihelions•59m ago•0 comments

Onyx BOOX releases 13.3 inch 300/150 PPI color e-notebook

https://goodereader.com/blog/onyx-boox/first-look-at-the-onyx-boox-tab-xc-color-e-notebook

1•com1•1h ago•0 comments

WTF,Kees?

https://lore.kernel.org/all/CAHk-=wj4a_CvL6-=8gobwScstu-gJpX4XbX__hvcE=e9zaQ_9A@mail.gmail.com/

8•ryannevius•1h ago•1 comments

Trump pulls Isaacman nomination for space. Source: "NASA is f***ed"

https://arstechnica.com/space/2025/05/trump-pulls-isaacman-nomination-for-space-source-nasa-is-fed/

6•consumer451•1h ago•0 comments

Opera Neon Reinvents Browsing with Bold AI Leap – A New Era Begins

https://khalejtech.blog/%d8%ab%d9%88%d8%b1%d8%a9-%d9%81%d9%8a-%d8%b9%d8%a7%d9%84%d9%85-%d8%a7%d9%84%d8%aa%d8%b5%d9%81%d8%ad-opera-neon-%d9%8a%d8%af%d8%ae%d9%84-%d8%b3%d8%a7%d8%ad%d8%a9-%d8%a7%d9%84%d8%b0%d9%83%d8%a7%d8%a1/

1•audai•1h ago•0 comments

Canonicals Interview Process

https://dustri.org/b/my-experience-with-canonicals-interview-process.html

3•dijit•1h ago•0 comments

Gaia Is a Tough Bitch

https://www.edge.org/conversation/lynn_margulis-chapter-7-gaia-is-a-tough-bitch

3•lwo32k•1h ago•0 comments

Passage of Senate Bill 29 Positions Texas as a Leading State for Incorporations

https://www.foley.com/insights/publications/2025/05/passage-senate-bill-29-positions-texas-leading-state-incorporations/

2•ksec•1h ago•0 comments

Rudyard Kipling, Kim (1901)

https://classicsofstrategy.com/2010/08/31/kim/

1•Michelangelo11•1h ago•0 comments

Generators for Certain Alternating Groups with Applications to Crypto (1975)

https://leetarxiv.substack.com/p/generators-for-certain-alternating

1•muragekibicho•1h ago•1 comments

Portal 2 Becomes an Impressively Capable Web Server

https://hackaday.com/2025/06/01/portal-2-becomes-an-impressively-capable-web-server/

3•Tomte•1h ago•0 comments

Show HN: Modmenu for mlbb that will make you undefeated

https://github.com/anggorodhanumurti/themaphack

2•dhanumurti•1h ago•0 comments

Violating memory safety with Haskell's value restriction

https://welltypedwit.ch/posts/value-restriction.html

2•fanf2•1h ago•0 comments

The Math Behind That Dick Joke in HBO's "Silicon Valley" (2019)

https://www.cantorsparadise.org/the-math-behind-that-dick-joke-in-hbos-silicon-valley-3becdebe9118/

2•silverkite•1h ago•0 comments

FAQ: What is a TPM and how can I use it on Linux?

Terence Tao: DeepMind's open repository of formalized mathematics conjectures

Shunn Manuscript Format in LaTeX

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

Show HN: I made a desktop app to run any MCP

Cinematography of "Andor"

0.9999 ≊ 1

GNU Guix Migrating to Codeberg

People Get Good at Their Jobs Through Practice

Analogmaxxing

Why 'wrench attacks' on wealthy crypto holders are on the rise

Help me with some ideas, add to the list here

Hyundai's first three-row electric SUV is here

Neoq – a queue-agnostic background job library for Go

DevEco Testing: Official Automation Testing Tool for HarmonyOS Applications

KFC's Original Recipe

Science cuts may close WA LIGO observatory that confirmed theory of relativity

Onyx BOOX releases 13.3 inch 300/150 PPI color e-notebook

WTF,Kees?

Trump pulls Isaacman nomination for space. Source: "NASA is f***ed"

Opera Neon Reinvents Browsing with Bold AI Leap – A New Era Begins

Canonicals Interview Process

Gaia Is a Tough Bitch

Passage of Senate Bill 29 Positions Texas as a Leading State for Incorporations

Rudyard Kipling, Kim (1901)

Generators for Certain Alternating Groups with Applications to Crypto (1975)

Portal 2 Becomes an Impressively Capable Web Server

Show HN: Modmenu for mlbb that will make you undefeated

Violating memory safety with Haskell's value restriction

The Math Behind That Dick Joke in HBO's "Silicon Valley" (2019)

Yep, X was down again

Comments

FAQ: What is a TPM and how can I use it on Linux?

Terence Tao: DeepMind's open repository of formalized mathematics conjectures

Shunn Manuscript Format in LaTeX

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

Show HN: I made a desktop app to run any MCP

Cinematography of "Andor"

0.9999 ≊ 1

GNU Guix Migrating to Codeberg

People Get Good at Their Jobs Through Practice

Analogmaxxing

Why 'wrench attacks' on wealthy crypto holders are on the rise

Help me with some ideas, add to the list here

Hyundai's first three-row electric SUV is here

Neoq – a queue-agnostic background job library for Go

DevEco Testing: Official Automation Testing Tool for HarmonyOS Applications

KFC's Original Recipe

Science cuts may close WA LIGO observatory that confirmed theory of relativity

Onyx BOOX releases 13.3 inch 300/150 PPI color e-notebook

WTF,Kees?

Trump pulls Isaacman nomination for space. Source: "NASA is f***ed"

Opera Neon Reinvents Browsing with Bold AI Leap – A New Era Begins

Canonicals Interview Process

Gaia Is a Tough Bitch

Passage of Senate Bill 29 Positions Texas as a Leading State for Incorporations

Rudyard Kipling, Kim (1901)

Generators for Certain Alternating Groups with Applications to Crypto (1975)

Portal 2 Becomes an Impressively Capable Web Server

Show HN: Modmenu for mlbb that will make you undefeated

Violating memory safety with Haskell's value restriction

The Math Behind That Dick Joke in HBO's "Silicon Valley" (2019)