1

Ruby-lean: A Ruby semantics with a type soundness proof (samx.io)

by samxif a few seconds ago | hide | 0 comments

1

Musk, the Movie (bleeckerstreetmedia.com)

by yablak 2 minutes ago | hide | 0 comments

1

Emotional Well-Being on ChatGPT (arxiv.org)

by lasky 5 minutes ago | hide | 1 comments

2

The next AI breakout will come from a services firm (introspection.dev)

by asasidh 5 minutes ago | hide | 0 comments

1

Claude Generated Summary on Sri Lanka Batalanda Commission of Inquiry (claude.ai)

by kharon 8 minutes ago | hide | 0 comments

3

Owed a billion dollars in Nvidia stock (colo.to)

by Eric_Gullichsen 9 minutes ago | hide | 0 comments

1

Fool's Expertise (bcantrill.dtrace.org)

by elffjs 9 minutes ago | hide | 0 comments

2

Internal Weather (alearningaday.blog)

by JumpCrisscross 16 minutes ago | hide | 0 comments

1

When Back-to-School Shopping Includes Bulletproof Backpacks (nytimes.com)

by bookofjoe 18 minutes ago | hide | 1 comments

3

Comet SWAN26Q – The unconfirmed Scout object warrants monitoring, not concern (astrophyzix.com)

by JEOFFEZZ 24 minutes ago | hide | 0 comments

2

Goodbye to the Hard Parts That Never Mattered (jakegoldsborough.com)

by JumpCrisscross 24 minutes ago | hide | 0 comments

1

Show HN: I made a tool that turns Jetpack Compose Previews to embeddable scripts (composables.com)

by alexstyl 26 minutes ago | hide | 0 comments

2

OpenRig: Multi-Agent Harness (github.com)

by handfuloflight 26 minutes ago | hide | 0 comments

3

Behold the pawpaw, the tropical 'alien banana' that grows right here in Canada (cbc.ca)

by BiraIgnacio 28 minutes ago | hide | 0 comments

1

OpenAI pauses top-model work after AI bypasses internet safeguards [video] (youtube.com)

by kbn 28 minutes ago | hide | 0 comments

1

PostgreSQL 19's "scary patch contest" (lwn.net)

by pykello 28 minutes ago | hide | 0 comments

2

(Book) When It Goes Wrong: What Angels and Founders Do Next (susanjmontgomery.substack.com)

by mgav 30 minutes ago | hide | 0 comments

1

Show HN: Guess which repository has more GitHub stars (higherlower.focuslab.pk)

by alexander2002 32 minutes ago | hide | 0 comments

2

In preparation for Wow Forever, here is a guided tour of Warcraft (ryeceps.github.io)

by carnufex 34 minutes ago | hide | 0 comments

2

Show HN: MCPersist – Minecraft worlds that keep running after the host logs off (github.com)

by CMboSqdTACiEX27 36 minutes ago | hide | 0 comments

1

Drop Your Startup Ideas

by KinetiNode 38 minutes ago | hide | 0 comments

4

Show HN: Panda, the world's first personal AI computer (pandax1.com)

by moezee1 39 minutes ago | hide | 6 comments

2

How Is Inventing the Renaissance an SFF-Related Work? (exurbe.com)

by mooreds 40 minutes ago | hide | 0 comments

1

Packing Binary Is Fun (hereticpleb.vercel.app)

by BurnerBurner 40 minutes ago | hide | 0 comments

2

I killed every subscription business model in the market (vosu.ai)

by nafisfaysal 41 minutes ago | hide | 1 comments

1

Writing the same book three times [audio] (swarmia.com)

by mooreds 41 minutes ago | hide | 0 comments

8

As A.I. Makes Law Firms More Efficient, Clients Ask: 'Where's My Discount?' (nytimes.com)

by mooreds 44 minutes ago | hide | 0 comments

4

"The refrigerator is dead": Samsung's AI fridges shut down after update (notebookcheck.net)

by RachelF an hour ago | hide | 0 comments

19

Research finds 485 chemicals in US pesticide products linked to breast cancer (theguardian.com)

by Teever an hour ago | hide | 0 comments

2

AI is not an alien, it's our offspring: Reframing the alignment problem (sovereignintelligence1313mhz.substack.com)

by sovereignai an hour ago | hide | 3 comments

[MAD] Hacker News