Typechecking Is Undecidable When 'Type' Is a Type

https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6

1•zem•1m ago•0 comments

Show HN: Medium-style story editor you can use on your own website

https://github.com/abdulrahman-mh/textrix

1•abdulrahman-mh•2m ago•0 comments

When stock photography agencies started accepting AI images

https://xpiksapp.com/blog/ai-images-on-microstocks/

1•ribtoks•5m ago•0 comments

Delta Engineered a Pricing System That Sorts You by Economic Value

https://blog.getjetback.com/delta-engineered-a-pricing-system-that-sorts-you-by-economic-value/

1•bdev12345•6m ago•0 comments

TSA facial recognition scans are optional on paper, mandatory in practice

https://www.washingtonpost.com/technology/2025/07/29/airport-facial-recognition-scan-opt-out/

1•coloneltcb•8m ago•0 comments

Hyprland Launches Hyprperks

https://hypr.land/news/hyprperks/

1•bpierre•9m ago•0 comments

Maru OS – Your phone is your PC

https://maruos.com/

1•fsflover•12m ago•3 comments

Univ. of Minnesota seeks photos to archive national parks signs before removal

https://sites.google.com/umn.edu/save-our-signs/home

4•SeenNotHeard•14m ago•1 comments

GitHub's For the Love of Code: a summer hackathon

https://github.blog/open-source/for-the-love-of-code-2025/

1•olvy0•16m ago•0 comments

We Love Our Dogs and Cats. But Are They Bad for the Environment?

https://www.nytimes.com/2025/07/29/climate/dogs-cats-pets-environment-impact.html

1•littlexsparkee•16m ago•1 comments

The Riddle of the Lovers' Basket

https://barycentre.substack.com/p/the-riddle-of-the-lovers-basket

1•kadrek•16m ago•1 comments

I built a generator that writes pricing increase posts (but without being soft)

https://www.idreezus.com/prices-went-up

1•audreino•17m ago•0 comments

Show HN: Hypersigil – Prompt management UI – test, evaluate, deploy

https://github.com/hypersigilhq/hypersigil

1•piterrro•19m ago•0 comments

Artificial Intelligence and the Linux Community

https://blogs.gnome.org/uraeus/2025/07/29/artificial-intelligence-and-the-linux-community/

2•Bogdanp•20m ago•0 comments

Protecting the Developing Mind in a Digital Age: A Global Policy Imperative

https://www.tandfonline.com/doi/full/10.1080/19452829.2025.2518313#abstract

2•domofutu•23m ago•0 comments

How the Brain Increases Blood Flow on Demand

https://hms.harvard.edu/news/how-brain-increases-blood-flow-demand

4•gmays•23m ago•0 comments

Coding for the Future Agentic World

https://addyo.substack.com/p/coding-for-the-future-agentic-world

1•rsyring•25m ago•0 comments

Is the internet broken beyond repair?

https://newslttrs.com/is-the-internet-broken-beyond-repair/

1•spzb•28m ago•1 comments

A Quantum Gravimeter for GPS Backup

https://spectrum.ieee.org/quantum-gravity-sensor

2•purpleko•29m ago•0 comments

Alpha School – 2 hours daily, 2x learning velocity

https://www.astralcodexten.com/p/your-review-alpha-school

1•fn-mote•30m ago•1 comments

Congress's NASA and NSF Budgets Counter Trump, Fund Science

https://skyandtelescope.org/astronomy-news/congresss-nasa-and-nsf-budgets-counter-trump-fund-science/

3•bikenaga•31m ago•1 comments

Novo Nordisk shares plunge 23% after Wegovy maker names new CEO, cuts guidance

https://www.cnbc.com/2025/07/29/novo-nordisk-shares-plunge-after-wegovy-maker-cuts-full-year-guidance-.html

3•TMWNN•31m ago•1 comments

Grafana 12.1 Release

https://grafana.com/blog/2025/07/28/grafana-12.1-release-all-the-latest-features/

3•bvlai•34m ago•0 comments

The half-life of tech skills

https://haraldagterhuis.substack.com/p/the-great-skills-decay

25•j-a-a-p•36m ago•24 comments

Giving Benchmarks a Boat

https://buttondown.com/jaffray/archive/giving-benchmarks-a-boat/

2•pbardea•39m ago•0 comments

Large Language Models

https://www.davidtemplin.name/large-language-models/

2•mcook08•43m ago•0 comments

Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf]

http://www.urbanphysics.net/2025_Formation_Paper_Preprint_v1.pdf

2•PaulHoule•45m ago•0 comments

Library of Babel

https://libraryofbabel.info/

2•FigurativeVoid•45m ago•0 comments

Application Less Containers

https://github.com/melezhik/Sparrow6/blob/master/posts/Application%20Less%20Containers.md

3•melezhik•47m ago•1 comments

7 Tips to Successfully Micromanage Programmers (2018)

https://medium.com/@marcusblankenship/7-ways-to-effectively-micromanage-your-programmer-6e6f4ef159f4

6•kdklol•48m ago•0 comments

Typechecking Is Undecidable When 'Type' Is a Type

Show HN: Medium-style story editor you can use on your own website

When stock photography agencies started accepting AI images

Delta Engineered a Pricing System That Sorts You by Economic Value

TSA facial recognition scans are optional on paper, mandatory in practice

Hyprland Launches Hyprperks

Maru OS – Your phone is your PC

Univ. of Minnesota seeks photos to archive national parks signs before removal

GitHub's For the Love of Code: a summer hackathon

We Love Our Dogs and Cats. But Are They Bad for the Environment?

The Riddle of the Lovers' Basket

I built a generator that writes pricing increase posts (but without being soft)

Show HN: Hypersigil – Prompt management UI – test, evaluate, deploy

Artificial Intelligence and the Linux Community

Protecting the Developing Mind in a Digital Age: A Global Policy Imperative

How the Brain Increases Blood Flow on Demand

Coding for the Future Agentic World

Is the internet broken beyond repair?

A Quantum Gravimeter for GPS Backup

Alpha School – 2 hours daily, 2x learning velocity

Congress's NASA and NSF Budgets Counter Trump, Fund Science

Novo Nordisk shares plunge 23% after Wegovy maker names new CEO, cuts guidance

Grafana 12.1 Release

The half-life of tech skills

Giving Benchmarks a Boat

Large Language Models

Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf]

Library of Babel

Application Less Containers

7 Tips to Successfully Micromanage Programmers (2018)

Saudi Aramco bets on Google spinoff AI to profit from carbon emissions

Typechecking Is Undecidable When 'Type' Is a Type

Show HN: Medium-style story editor you can use on your own website

When stock photography agencies started accepting AI images

Delta Engineered a Pricing System That Sorts You by Economic Value

TSA facial recognition scans are optional on paper, mandatory in practice

Hyprland Launches Hyprperks

Maru OS – Your phone is your PC

Univ. of Minnesota seeks photos to archive national parks signs before removal

GitHub's For the Love of Code: a summer hackathon

We Love Our Dogs and Cats. But Are They Bad for the Environment?

The Riddle of the Lovers' Basket

I built a generator that writes pricing increase posts (but without being soft)

Show HN: Hypersigil – Prompt management UI – test, evaluate, deploy

Artificial Intelligence and the Linux Community

Protecting the Developing Mind in a Digital Age: A Global Policy Imperative

How the Brain Increases Blood Flow on Demand

Coding for the Future Agentic World

Is the internet broken beyond repair?

A Quantum Gravimeter for GPS Backup

Alpha School – 2 hours daily, 2x learning velocity

Congress's NASA and NSF Budgets Counter Trump, Fund Science

Novo Nordisk shares plunge 23% after Wegovy maker names new CEO, cuts guidance

Grafana 12.1 Release

The half-life of tech skills

Giving Benchmarks a Boat

Large Language Models

Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf]

Library of Babel

Application Less Containers

7 Tips to Successfully Micromanage Programmers (2018)