Show HN: Whispering – An open-source alternative to Superwhisper

https://github.com/braden-w/whispering

1•braden-w•26s ago•0 comments

Physics needs research software engineers

https://www.nature.com/articles/s42254-025-00852-2

1•bookofjoe•27s ago•0 comments

The Magic Theorem

https://aperiodical.com/2025/07/the-magic-theorem/

1•baruchel•37s ago•0 comments

Computer Scientists Figure Out How to Prove Lies

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/

1•baruchel•1m ago•0 comments

Tree Borrows

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html

1•zdw•2m ago•0 comments

Florida is letting companies make it harder for highly paid workers to swap jobs

https://www.businessinsider.com/florida-made-it-harder-highly-paid-workers-to-swap-jobs-2025-7

2•pseudolus•3m ago•0 comments

Durable Agent Loops

https://restate.dev/blog/durable-ai-loops-fault-tolerance-across-frameworks-and-without-handcuffs/

1•gk1•4m ago•0 comments

DeCSS (2000)

https://decss.zoy.org/

1•JetSpiegel•6m ago•0 comments

Show HN: Kinic – A Portable AI Memory Store You Own (Farewell AI Amnesia)

https://www.kinic.io/

2•wyattbenno777•12m ago•0 comments

RNode is an open, free and unrestricted digital radio transceiver

https://unsigned.io/rnode/

2•janandonly•12m ago•0 comments

Show HN: Chain-The-Words game that tests your vocab

https://www.chain-the-words.com/

1•martianmanhunt•12m ago•2 comments

Texas Flood Challenges Faith

https://www.amazingfacts.org/news-and-features/af-blog/article/texas-flood-challenges-faith

1•afaxwebgirl•13m ago•0 comments

Show HN: Pulse – the wearable for n=1 habit experiments

https://blog.pulse.site/pulse-the-wearable-for-n1-habit-experiments/

2•msingh_5•13m ago•1 comments

Using Self-Hosted Large Language Models (LLMs) Securely in Government

https://digitaltrade.blog.gov.uk/2025/07/09/using-self-hosted-large-language-models-llms-securely-in-government/

1•edent•18m ago•0 comments

Has anyone else had issues with the new low calorie sweeteners?

https://tildes.net/~health/1oo1/has_anyone_else_had_issues_with_the_new_low_calorie_sweeteners

1•PaulHoule•21m ago•0 comments

MemOS: A Memory OS for AI System

https://arxiv.org/abs/2507.03724

2•handfuloflight•22m ago•1 comments

Show HN: Nordstars shows a team's missing skills for different business goals

https://nordstars.ai/

1•doraby•22m ago•0 comments

Sht Coding – Where sht posting and vibe coding meet

https://www.dcoates.com/posts/shit-coding/

1•dustincoates•22m ago•1 comments

Omarchy Is Out

https://world.hey.com/dhh/omarchy-is-out-4666dd31

2•thinkingemote•22m ago•0 comments

Paint: A Timeline

https://kristenroos.ca/timeline

1•surprisetalk•23m ago•0 comments

Induction lamps: fluorescent lighting's final form [video]

https://www.youtube.com/watch?v=SaKKzZRrPIg

1•surprisetalk•23m ago•0 comments

Planes are still decades away from displacing most bird jobs (2022)

https://guzey.com/ai/planes-vs-birds/

1•surprisetalk•23m ago•0 comments

The old traffic math that keeps destroying neighborhoods

https://www.fastcompany.com/91362348/road-design-traffic-math-destroying-neighborhoods-los

1•toss1•24m ago•0 comments

Show HN: I made a tool that gets you customers from Reddit

https://www.bazzly.ai/

1•FilipPanoski•24m ago•1 comments

Show HN: Stravu – Editable, multi-player AI notebooks with text, tables, diagram

3•wek•24m ago•0 comments

Sweet or sour? AI powered device achieves human-like sense of taste

https://www.nature.com/articles/d41586-025-02158-w

2•rntn•24m ago•0 comments

'Sinister scheme': India ban threatens Jane Street's money machine

https://www.ft.com/content/6789512f-8775-450b-b0a6-9d9d0c3716ca

1•awll•24m ago•0 comments

I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)

https://medium.com/@kuryuliya/when-chatgpt-writes-the-code-and-everyone-thinks-its-perfect-8a9fbe2f2b7a

1•ybaranetska•26m ago•0 comments

That white guy who can't get a job at Tim Hortons? He's AI

https://www.cbc.ca/news/ai-generated-fake-marketing-1.7578772

7•pseudolus•26m ago•1 comments

Google Developing Skia "Graphite" for Faster Chrome

https://www.phoronix.com/news/Chromium-Skia-Graphite

2•ksec•27m ago•0 comments

Show HN: Whispering – An open-source alternative to Superwhisper

Physics needs research software engineers

The Magic Theorem

Computer Scientists Figure Out How to Prove Lies

Tree Borrows

Florida is letting companies make it harder for highly paid workers to swap jobs

Durable Agent Loops

DeCSS (2000)

Show HN: Kinic – A Portable AI Memory Store You Own (Farewell AI Amnesia)

RNode is an open, free and unrestricted digital radio transceiver

Show HN: Chain-The-Words game that tests your vocab

Texas Flood Challenges Faith

Show HN: Pulse – the wearable for n=1 habit experiments

Using Self-Hosted Large Language Models (LLMs) Securely in Government

Has anyone else had issues with the new low calorie sweeteners?

MemOS: A Memory OS for AI System

Show HN: Nordstars shows a team's missing skills for different business goals

Sh*t Coding – Where sh*t posting and vibe coding meet

Omarchy Is Out

Paint: A Timeline

Induction lamps: fluorescent lighting's final form [video]

Planes are still decades away from displacing most bird jobs (2022)

The old traffic math that keeps destroying neighborhoods

Show HN: I made a tool that gets you customers from Reddit

Show HN: Stravu – Editable, multi-player AI notebooks with text, tables, diagram

Sweet or sour? AI powered device achieves human-like sense of taste

'Sinister scheme': India ban threatens Jane Street's money machine

I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)

That white guy who can't get a job at Tim Hortons? He's AI

Google Developing Skia "Graphite" for Faster Chrome

Experimental imperative-style music sequence generator engine

Show HN: Whispering – An open-source alternative to Superwhisper

Physics needs research software engineers

The Magic Theorem

Computer Scientists Figure Out How to Prove Lies

Tree Borrows

Florida is letting companies make it harder for highly paid workers to swap jobs

Durable Agent Loops

DeCSS (2000)

Show HN: Kinic – A Portable AI Memory Store You Own (Farewell AI Amnesia)

RNode is an open, free and unrestricted digital radio transceiver

Show HN: Chain-The-Words game that tests your vocab

Texas Flood Challenges Faith

Show HN: Pulse – the wearable for n=1 habit experiments

Using Self-Hosted Large Language Models (LLMs) Securely in Government

Has anyone else had issues with the new low calorie sweeteners?

MemOS: A Memory OS for AI System

Show HN: Nordstars shows a team's missing skills for different business goals

Sh*t Coding – Where sh*t posting and vibe coding meet

Omarchy Is Out

Paint: A Timeline

Induction lamps: fluorescent lighting's final form [video]

Planes are still decades away from displacing most bird jobs (2022)

The old traffic math that keeps destroying neighborhoods

Show HN: I made a tool that gets you customers from Reddit

Show HN: Stravu – Editable, multi-player AI notebooks with text, tables, diagram

Sweet or sour? AI powered device achieves human-like sense of taste

'Sinister scheme': India ban threatens Jane Street's money machine

I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)

That white guy who can't get a job at Tim Hortons? He's AI

Google Developing Skia "Graphite" for Faster Chrome

Sht Coding – Where sht posting and vibe coding meet

Sht Coding – Where sht posting and vibe coding meet