FAQ: What is a TPM and how can I use it on Linux? (debugging.works)

1 points by kmille 4m ago 0 comments

Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz)

1 points by joak 8m ago 0 comments

Shunn Manuscript Format in LaTeX (github.com)

1 points by Morgoth421 12m ago 1 comments

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada (codeberg.org)

1 points by birdculture 19m ago 0 comments

Show HN: I made a desktop app to run any MCP (onemcp.io)

2 points by islemmaboud 22m ago 0 comments

Cinematography of "Andor" (pushing-pixels.org)

5 points by rcarmo 30m ago 0 comments

0.9999 ≊ 1 (lcamtuf.substack.com)

4 points by bertman 34m ago 1 comments

GNU Guix Migrating to Codeberg (guix.gnu.org)

5 points by transpute 40m ago 0 comments

People Get Good at Their Jobs Through Practice (betonit.ai)

3 points by barry-cotter 41m ago 0 comments

Analogmaxxing (nklswbr.com)

1 points by nklswbr 42m ago 0 comments

Why 'wrench attacks' on wealthy crypto holders are on the rise (apnews.com)

2 points by Physkal 43m ago 0 comments

Help me with some ideas, add to the list here (wishtogether.xyz)

1 points by 01-_- 49m ago 0 comments

Hyundai's first three-row electric SUV is here (electrek.co)

2 points by 01-_- 53m ago 0 comments

Neoq – a queue-agnostic background job library for Go (github.com)

1 points by enether 53m ago 2 comments

DevEco Testing: Official Automation Testing Tool for HarmonyOS Applications

1 points by moyantianwang 59m ago 0 comments

KFC's Original Recipe (en.wikipedia.org)

2 points by sans_souse 1h ago 0 comments

Science cuts may close WA LIGO observatory that confirmed theory of relativity (tri-cityherald.com)

6 points by perihelions 1h ago 0 comments

Onyx BOOX releases 13.3 inch 300/150 PPI color e-notebook (goodereader.com)

1 points by com1 1h ago 0 comments

WTF,Kees? (lore.kernel.org)

8 points by ryannevius 1h ago 1 comments

Trump pulls Isaacman nomination for space. Source: "NASA is f***ed" (arstechnica.com)

6 points by consumer451 1h ago 0 comments

Opera Neon Reinvents Browsing with Bold AI Leap – A New Era Begins (khalejtech.blog)

1 points by audai 1h ago 0 comments

Canonicals Interview Process (dustri.org)

3 points by dijit 1h ago 0 comments

Gaia Is a Tough Bitch (edge.org)

3 points by lwo32k 1h ago 0 comments

Passage of Senate Bill 29 Positions Texas as a Leading State for Incorporations (foley.com)

2 points by ksec 1h ago 0 comments

Rudyard Kipling, Kim (1901) (classicsofstrategy.com)

1 points by Michelangelo11 1h ago 0 comments

Generators for Certain Alternating Groups with Applications to Crypto (1975) (leetarxiv.substack.com)

1 points by muragekibicho 1h ago 1 comments

Portal 2 Becomes an Impressively Capable Web Server (hackaday.com)

3 points by Tomte 1h ago 0 comments

Show HN: Modmenu for mlbb that will make you undefeated (github.com)

2 points by dhanumurti 1h ago 0 comments

Violating memory safety with Haskell's value restriction (welltypedwit.ch)

2 points by fanf2 1h ago 0 comments

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

2 points by silverkite 1h ago 0 comments

Mary Meeker Artificial Intelligence Report [pdf] (bondcap.com)

2 points by nkko 1h ago 1 comments

Countries on the edge of the Sahara desert are reversing desertification (mastodon.social)

3 points by ColinWright 1h ago 0 comments

Show HN: Pokémon Blue remade in React (playable in browser) (github.com)

1 points by chase-manning 1h ago 0 comments

AI Speeds Up Dev, Cloning Comes Easy Too (plumshell.com)

1 points by NonUmemoto 1h ago 0 comments

Jokes from the Jar – Powered by AI (jokesfromthejar.com)

1 points by jevops 1h ago 2 comments

Ask HN: User-scoped AI tokens for safe client-side AI logic?

1 points by v-yanakiev 1h ago 0 comments

I'm Open-Sourcing My Custom Benchmark GUI (probablydance.com)

1 points by chmaynard 1h ago 0 comments

Show HN: Built FLUX.1 Kontext image editor – context-aware AI editing (flux1kontext.io)

2 points by wushi 1h ago 0 comments

Show HN: Ephe – A Minimalist Open-Source Markdown Paper for Today (github.com)

2 points by unvalley 2h ago 0 comments

VimGolf – Real Vim ninjas count every keystroke (vimgolf.com)

1 points by pabs3 2h ago 0 comments

Processing Deep Space Astrophotos with Free Software (astroimagery.com)

2 points by astroimagery 2h ago 1 comments

Playary – a fast, cross-platform music and podcast streaming (playary.com)

1 points by fatihozkan 2h ago 0 comments

JD Vance has changed his name multiple times over the years (fortune.com)

12 points by keepamovin 2h ago 10 comments

Blasting Past iOS 18 (blog.dfsec.com)

1 points by transpute 2h ago 0 comments

A Beginner's Guide to Prisma ORM (medium.com)

2 points by deepvinci 2h ago 0 comments

DevEco Studio: Essential Features for HarmonyOS Development

1 points by moyantianwang 2h ago 0 comments

Muscular Christianity (en.wikipedia.org)

2 points by Bluestein 2h ago 0 comments

Builder.ai's AI Companion Natasha Was Indian Workers, Now Bankrupt (80.lv)

1 points by perryizgr8 2h ago 0 comments

Entry-level tech hiring down 25% in 2024 despite market recovery (signalfire.com)

3 points by joshsi 2h ago 0 comments

FreeBSD 14.3-RC1 Now Available (lists.freebsd.org)

3 points by vedranm 2h ago 0 comments

Enhancing Code Quality with Generative AI: Boosting Developer Warning Compliance

1 PaulHoule 0 5/31/2025, 4:34:25 PM arxiv.org ↗

Comments (0)

No comments yet