newest
Open in hackernews
Is this program safe? Lessons from Type Theory
https://brandonrozek.com/blog/program-safety-type-theory/
1
•
speckx
•
4h ago
Why Gen X is the real loser generation
https://www.economist.com/finance-and-economics/2025/05/08/why-gen-x-is-the-real-loser-generation
1
•
Jimmc414
•
5m ago
•
1 comments
Grok chatbot repeatedly mentions 'white genocide' in unrelated chats
https://www.theguardian.com/technology/2025/may/14/elon-musk-grok-white-genocide
2
•
n1b0m
•
8m ago
•
0 comments
Wizards of OBS, LLC vs. ByteDance Ltd. et al.
https://dockets.justia.com/docket/california/cacdce/5:2025cv00636/961274
1
•
Sean-Der
•
8m ago
•
0 comments
Frozen water found in a young star system for the first time
https://english.elpais.com/science-tech/2025-05-14/frozen-water-found-in-a-young-star-system-for-the-first-time.html
1
•
geox
•
8m ago
•
0 comments
What Makes BaldyFR Unique?
1
•
BaldyFR
•
10m ago
•
0 comments
Who Is BaldyFR?
1
•
BaldyFR
•
11m ago
•
0 comments
Show HN: Fusion – A PHP Package Manager
https://gitlab.com/valvoid/fusion/php/code
1
•
retlim
•
11m ago
•
0 comments
Less is more: language features (2015)
https://blog.ploeh.dk/2015/04/13/less-is-more-language-features/
1
•
magarnicle
•
12m ago
•
1 comments
Build Your Own Voice Chatbot from Scratch
https://pocketflow.substack.com/p/build-your-own-voice-chatbot-from
1
•
zh2408
•
12m ago
•
0 comments
China Captured Apple Supply Chain
https://www.thefp.com/p/how-china-captured-apple
4
•
walterbell
•
16m ago
•
0 comments
Title Register and Drive Kei Vehicles
https://leg.colorado.gov/bills/hb25-1281
3
•
goplayoutside
•
17m ago
•
0 comments
Software engineer lost his $150K-a-year job to AI
https://fortune.com/2025/05/14/software-engineer-replaced-by-ai-lost-six-figure-salary-800-job-applications-doordash-living-in-rv-trailer/
2
•
treebeard901
•
17m ago
•
0 comments
Dia Browser
https://www.diabrowser.com/
1
•
handfuloflight
•
18m ago
•
0 comments
How Is AI Art Different from Human Art?
https://www.vulture.com/article/is-ai-art-really-art-critics-debate-jerry-saltz-david-wallace-wells.html
1
•
handfuloflight
•
21m ago
•
0 comments
A live bacteria enzyme assay for identification of human disease mutations
https://www.nature.com/articles/s41551-025-01391-y
2
•
PaulHoule
•
22m ago
•
0 comments
PocketBase: Open-source back end in 1 file
https://pocketbase.io/
1
•
goplayoutside
•
24m ago
•
0 comments
A Ragtag Group of Covid Truth-Tellers Go to Washington
https://www.thefp.com/p/a-ragtag-group-of-covid-truth-tellers
2
•
fortran77
•
28m ago
•
0 comments
How the Black Portraiture Boom Went Bust
https://www.vulture.com/article/art-market-black-portraiture-boom-burst.html
2
•
handfuloflight
•
40m ago
•
0 comments
Compiling Android apps on a remote machine using Mirakle and Tailscale
https://www.bouleau.dev/posts/remote-compilation-and-testing-with-tailscale-and-mirakle/
1
•
flakespancakes
•
47m ago
•
0 comments
Why Is Geographic Mobility Declining?
https://www.richmondfed.org/publications/research/economic_brief/2025/eb_25-19
3
•
toomuchtodo
•
48m ago
•
1 comments
What the government tried to keep hidden in IRS/ICE data sharing agreement
https://americanoversight.org/heres-what-the-government-tried-to-keep-hidden-in-the-irs-ice-data-sharing-agreement/
5
•
anigbrowl
•
49m ago
•
0 comments
TTS Studio: AI-Powered Text-to-Speech Tool
https://tts.haroun.dev/
2
•
shmayro
•
49m ago
•
0 comments
Show HN: Sauron MCP – one MCP to rule them all
https://sauron-mcp.com/
1
•
shchagin
•
52m ago
•
0 comments
Major University Open Source Lab Faces Shutdown
https://techstrong.it/featured/major-university-open-source-lab-faces-shutdown/
2
•
ohjeez
•
55m ago
•
0 comments
Mindfulness course effective in people with difficult-to-treat depression
https://news.exeter.ac.uk/faculty-of-health-and-life-sciences/mindfulness-course-effective-in-people-with-difficult-to-treat-depression/
1
•
geox
•
56m ago
•
0 comments
Elon Musk's Grok AI Can't Stop Talking About 'White Genocide'
https://www.wired.com/story/grok-white-genocide-elon-musk/
15
•
zzzeek
•
56m ago
•
4 comments
Big scary equation –> Mathpix –> ChatGPT –> commented Python
https://twitter.com/Sirupsen/status/1673309920769323008
1
•
downboots
•
1h ago
•
0 comments
Why car companies should fear the golf cart
https://www.fastcompany.com/90804313/why-car-companies-should-fear-the-golf-cart
2
•
MichaelNolan
•
1h ago
•
0 comments
Show HN: Virtualflow – Automate Manual Data Extraction for SMEs
https://www.virtualflow.ai
1
•
davidade_
•
1h ago
•
0 comments
iPhone Shipments Crash 50% in China as Local Brands Dominate
https://mobile.slashdot.org/story/25/05/14/2118214/iphone-shipments-crash-50-in-china-as-local-brands-dominate
4
•
jnord
•
1h ago
•
1 comments