Proving that every program halts

https://ntietz.com/blog/proving-that-every-program-halts/

1•zdw•50s ago•0 comments

Disks from the Perspective of a File System (2012)

https://queue.acm.org/detail.cfm?id=2367378

1•Tomte•1m ago•0 comments

Telegram's looking for an Android dev – who'll earn $1M / year after tax

https://twitter.com/durov/status/1937176286104883270

1•jeudesprits•5m ago•0 comments

Show HN: haveibeenpwned.watch

https://haveibeenpwned.watch/

1•iosifache•7m ago•0 comments

TrustoLLM – Audit your AI governance in 2 minutes

https://www.trustollm.com/

1•fregazoid•10m ago•1 comments

A new JavaScript-inspired package manager for Rust

https://github.com/realchonk/bsget

1•todsacerdoti•10m ago•0 comments

NASA's Relay2 Satellite, Silent Since 1967, Emits Powerful Radio Burst

https://www.independent.co.uk/bulletin/news/nasa-relay-2-satellite-pulse-b2775162.html

1•Brajeshwar•11m ago•0 comments

Reverse Engineering Midword.com – Evgenii Pendragon

https://evgeniipendragon.com/posts/reverse-engineering-midword.com/

1•EPendragon•12m ago•0 comments

Designer Microbes Make Painkillers from Plastic Waste

https://www.the-scientist.com/designer-microbes-make-painkillers-from-plastic-waste-73110

1•Brajeshwar•13m ago•1 comments

Do you want to build a community where users search or hang? (2021)

https://www.mooreds.com/wordpress/archives/3486

1•mooreds•14m ago•0 comments

Intentional AI

https://www.softwarecentury.com/posts/intentional-ai

1•mikutothe•15m ago•0 comments

"My Malformed Bones" Harry Crews's Counterlives

https://harpers.org/archive/2025/07/my-malformed-bones-charlie-lee-harry-crews/

1•Caiero•18m ago•0 comments

A Brief, Incomplete, and Mostly Wrong History of Electric Vehicles

https://climatedrift.substack.com/p/a-brief-incomplete-and-mostly-wrong

2•skandergarroum•20m ago•0 comments

Christoph Niemann Tells the Brutal Truth About the Creative Process (2016)

https://www.wired.com/2016/12/sunday-sketching-christoph-niemann-tells-brutal-truth-creative-process/

2•walterbell•20m ago•0 comments

Repeat Yourself

https://endler.dev/2025/repeat-yourself/

1•ulrischa•20m ago•0 comments

Is Elon Musk Afraid of Donald Trump?

https://gizmodo.com/is-elon-musk-afraid-of-donald-trump-2000618849

3•ulrischa•21m ago•0 comments

Welcome to Your First Look at the Cosmos from NSF–DOE Rubin Observatory

https://rubinobservatory.org

2•mosesbp•22m ago•2 comments

The case for a Canadian wealth tax

https://pluralistic.net/2025/06/23/billionaires-eh/#galen-weston-is-a-rat

1•treadump•23m ago•0 comments

GIF export in Snipping Tool begins rolling out to Windows Insiders

https://blogs.windows.com/windows-insider/2025/06/19/gif-export-in-snipping-tool-begins-rolling-out-to-windows-insiders/

1•taubek•24m ago•0 comments

Agricultural Tariff Schedule of the United States of America [pdf]

https://www.trade.gov/sites/default/files/2023-09/US%20Tariff%20Schedule%20%28Agricultural%20Goods%29.pdf

1•bookofjoe•26m ago•0 comments

Show HN: Link your LLM conversations to your code via GitHub Issues

https://github.com/rdmolony/sync-claude-code-with-github-issues

1•rdmolony•26m ago•0 comments

Vibe Learning to Fearlessly Explore Unfamiliar Tech

https://kaveh.page/blog/vibe-learning

1•kwar13•26m ago•0 comments

Quantum dice: Scientists harness true randomness from entangled photons

https://www.sciencedaily.com/releases/2025/06/250622225927.htm

1•baruchel•27m ago•0 comments

Vera C. Rubin Observatory first images

https://rubinobservatory.org/news/rubin-first-look/cosmic-treasure-chest

5•phsilva•28m ago•3 comments

"The Last of Us Part II" Seattle Locations Tour

https://docs.google.com/document/d/1gfFoe2xVoS9GzmmcbGUjTVVtss1Jwh4Yi-73C6Trn-I/edit?usp=sharing

2•lenocinor•28m ago•1 comments

Join Peerlist Alternative of LinkedIn

https://peerlist.io/mdanassaif/signup

3•M0HD197•30m ago•2 comments

Agent Assisted Coding Taxonomy

https://towardsdev.com/agent-assisted-coding-taxonomy-f88aa8f54148

1•mfund0•30m ago•0 comments

Show HN: AI Two-person Podcast Generator – open-source

https://twocast.app/

1•panyanyany•30m ago•0 comments

Considerations towards inducing proprioceptive feedback in dental implants

https://www.nature.com/articles/s41598-025-99923-8

2•PaulHoule•30m ago•0 comments

Apple Pulls 'Convince Your Parents to Get You a Mac' Ad from YouTube

https://www.macrumors.com/2025/06/21/apple-pulls-the-parent-presentation-video/

2•fortran77•32m ago•0 comments

Proving that every program halts

Disks from the Perspective of a File System (2012)

Telegram's looking for an Android dev – who'll earn $1M / year after tax

Show HN: haveibeenpwned.watch

TrustoLLM – Audit your AI governance in 2 minutes

A new JavaScript-inspired package manager for Rust

NASA's Relay2 Satellite, Silent Since 1967, Emits Powerful Radio Burst

Reverse Engineering Midword.com – Evgenii Pendragon

Designer Microbes Make Painkillers from Plastic Waste

Do you want to build a community where users search or hang? (2021)

Intentional AI

"My Malformed Bones" Harry Crews's Counterlives

A Brief, Incomplete, and Mostly Wrong History of Electric Vehicles

Christoph Niemann Tells the Brutal Truth About the Creative Process (2016)

Repeat Yourself

Is Elon Musk Afraid of Donald Trump?

Welcome to Your First Look at the Cosmos from NSF–DOE Rubin Observatory

The case for a Canadian wealth tax

GIF export in Snipping Tool begins rolling out to Windows Insiders

Agricultural Tariff Schedule of the United States of America [pdf]

Show HN: Link your LLM conversations to your code via GitHub Issues

Vibe Learning to Fearlessly Explore Unfamiliar Tech

Quantum dice: Scientists harness true randomness from entangled photons

Vera C. Rubin Observatory first images

"The Last of Us Part II" Seattle Locations Tour

Join Peerlist Alternative of LinkedIn

Agent Assisted Coding Taxonomy

Show HN: AI Two-person Podcast Generator – open-source

Considerations towards inducing proprioceptive feedback in dental implants

Apple Pulls 'Convince Your Parents to Get You a Mac' Ad from YouTube

The Ways Long Contexts Fail

Proving that every program halts

Disks from the Perspective of a File System (2012)

Telegram's looking for an Android dev – who'll earn $1M / year after tax

Show HN: haveibeenpwned.watch

TrustoLLM – Audit your AI governance in 2 minutes

A new JavaScript-inspired package manager for Rust

NASA's Relay2 Satellite, Silent Since 1967, Emits Powerful Radio Burst

Reverse Engineering Midword.com – Evgenii Pendragon

Designer Microbes Make Painkillers from Plastic Waste

Do you want to build a community where users search or hang? (2021)

Intentional AI

"My Malformed Bones" Harry Crews's Counterlives

A Brief, Incomplete, and Mostly Wrong History of Electric Vehicles

Christoph Niemann Tells the Brutal Truth About the Creative Process (2016)

Repeat Yourself

Is Elon Musk Afraid of Donald Trump?

Welcome to Your First Look at the Cosmos from NSF–DOE Rubin Observatory

The case for a Canadian wealth tax

GIF export in Snipping Tool begins rolling out to Windows Insiders

Agricultural Tariff Schedule of the United States of America [pdf]

Show HN: Link your LLM conversations to your code via GitHub Issues

Vibe Learning to Fearlessly Explore Unfamiliar Tech

Quantum dice: Scientists harness true randomness from entangled photons

Vera C. Rubin Observatory first images

"The Last of Us Part II" Seattle Locations Tour

Join Peerlist Alternative of LinkedIn

Agent Assisted Coding Taxonomy

Show HN: AI Two-person Podcast Generator – open-source

Considerations towards inducing proprioceptive feedback in dental implants

Apple Pulls 'Convince Your Parents to Get You a Mac' Ad from YouTube