Show HN: A terminal-based KeePass password manager

https://github.com/shikaan/keydex/releases/tag/v0.5.0

1•shikaan•1m ago•0 comments

Journalism, Media, and Technology Trends and Predictions 2025

https://reutersinstitute.politics.ox.ac.uk/journalism-media-and-technology-trends-and-predictions-2025

1•jruohonen•10m ago•1 comments

Mistral launches chatbot for companies, triples revenue in 100 days

https://www.reuters.com/technology/french-startup-mistral-launches-chatbot-companies-triples-revenue-100-days-2025-05-07/

2•saubeidl•10m ago•0 comments

Alpha-Generating Digital Asset Strategies Will Reshape Alternative Investing

https://www.coindesk.com/coindesk-indices/2025/04/30/how-alpha-generating-digital-asset-strategies-will-reshape-alternative-investing

1•PaulHoule•11m ago•0 comments

ProVerif: Cryptographic protocol verifier in the formal model

https://bblanche.gitlabpages.inria.fr/proverif/

1•doener•13m ago•0 comments

Verifpal is new software for verifying the security of cryptographic protocols

https://verifpal.com/

1•doener•13m ago•0 comments

Are 'CSS Carousels' Accessible?

https://www.sarasoueidan.com/blog/css-carousels-accessibility/

1•OuterVale•14m ago•0 comments

Show HN: I made an AI tool to turn personal memories into stylized portraits

https://wishpainted.com

3•bk-poland•19m ago•0 comments

What can we learn from broken things?

https://www.newyorker.com/culture/open-questions/what-can-we-learn-from-broken-things

4•FinnLobsien•20m ago•0 comments

Show HN: --

https://videotooolkit.app

4•__ali_asad__•23m ago•0 comments

Which LLM writes the best analytical SQL?

https://www.tinybird.co/blog-posts/which-llm-writes-the-best-sql

2•lleims•25m ago•0 comments

What happens when you take an older adult on a trishaw ride? – JOYRIDE (PBS) [video]

https://www.youtube.com/watch?v=3BRQX6A9BiA

1•zeristor•25m ago•1 comments

Mushroom meal - murder trial begins in rural Australia

https://www.nbcnews.com/world/asia/mushroom-murder-trial-begins-rural-australia-rcna203439

1•asdefghyk•31m ago•1 comments

How Dare You Transmit at 1.4 GHz!

https://radioandnukes.substack.com/p/how-dare-you-transmit-at-14-ghz

4•c16•32m ago•0 comments

HarmonyOS Next： Build Application with Different Package Names

https://leetcode.com/discuss/post/6725085/harmonyos-next-build-application-with-di-xjdd/https://leetcode.com/discuss/post/6725085/harmonyos-next-build-application-with-di-xjdd/

1•zhxwork•34m ago•1 comments

I feel like most people still don't get who cursor targets toward

3•lentinidante•38m ago•0 comments

Lockbit SQL Dump Visualizer

https://sqldump.defusedcyber.com/

1•waihtis•39m ago•0 comments

How Lost Radar and Silent Radios Have Upended Newark Air Travel

https://www.nytimes.com/2025/05/07/us/politics/newark-airport-delays.html

4•m_fayer•40m ago•0 comments

Man speaks to killer from beyond the grave in Arizona courtroom through AI video

https://www.independent.co.uk/news/world/americas/ai-deceased-man-speaks-killer-b2746424.html

3•cpach•41m ago•0 comments

Quantum Energy Teleportation Across Multi-Qubit Systems

https://arxiv.org/abs/2505.01863

1•Capstanlqc•43m ago•0 comments

Designing type inference for high quality type errors

https://blog.polybdenum.com/2025/02/14/designing-type-inference-for-high-quality-type-errors.html

1•fanf2•43m ago•0 comments

This Week in Rust 598

https://this-week-in-rust.org/blog/2025/05/07/this-week-in-rust-598/

2•unripe_syntax•44m ago•0 comments

EventSourcingDB 1.0 Released

https://www.thenativeweb.io/products/eventsourcingdb

1•goloroden•44m ago•0 comments

Show HN: A simple dashboard I created to keep myself up to date (WIP)

https://ntuthukohlela.pythonanywhere.com/

1•Ntuthuko_hlela•47m ago•0 comments

Building a 100K URLs/Second System with DynamoDB

https://animeshgaitonde.medium.com/distributed-tinyurl-architecture-how-to-handle-100k-urls-per-second-54182403117e

1•thunderbong•47m ago•0 comments

Quantifying hierarchy and dynamics in US faculty hiring and retention

https://www.nature.com/articles/s41586-022-05222-x

2•sebg•47m ago•0 comments

Derek Lowe: The Continuing Crisis, Part XIV

https://www.science.org/content/blog-post/continuing-crisis-part-xiv-trumpist-worldview

2•KnuthIsGod•47m ago•0 comments

Maker's Knowledge

https://ia.net/topics/makers-knowledge

2•raldu•48m ago•0 comments

The Explosive Growth of AI in 2025 – Latest Stats and Trends

https://aisofto.com/blog/ai-growth/

1•aisofto•50m ago•0 comments

Simon Peyton Jones on fearless refactoring over the long term in Haskell

https://discourse.haskell.org/t/emphasize-why-haskell-on-haskell-org-landing-page/12036

4•romes•50m ago•1 comments

Show HN: A terminal-based KeePass password manager

Journalism, Media, and Technology Trends and Predictions 2025

Mistral launches chatbot for companies, triples revenue in 100 days

Alpha-Generating Digital Asset Strategies Will Reshape Alternative Investing

ProVerif: Cryptographic protocol verifier in the formal model

Verifpal is new software for verifying the security of cryptographic protocols

Are 'CSS Carousels' Accessible?

Show HN: I made an AI tool to turn personal memories into stylized portraits

What can we learn from broken things?

Show HN: --

Which LLM writes the best analytical SQL?

What happens when you take an older adult on a trishaw ride? – JOYRIDE (PBS) [video]

Mushroom meal - murder trial begins in rural Australia

How Dare You Transmit at 1.4 GHz!

HarmonyOS Next： Build Application with Different Package Names

I feel like most people still don't get who cursor targets toward

Lockbit SQL Dump Visualizer

How Lost Radar and Silent Radios Have Upended Newark Air Travel

Man speaks to killer from beyond the grave in Arizona courtroom through AI video

Quantum Energy Teleportation Across Multi-Qubit Systems

Designing type inference for high quality type errors

This Week in Rust 598

EventSourcingDB 1.0 Released

Show HN: A simple dashboard I created to keep myself up to date (WIP)

Building a 100K URLs/Second System with DynamoDB

Quantifying hierarchy and dynamics in US faculty hiring and retention

Derek Lowe: The Continuing Crisis, Part XIV

Maker's Knowledge

The Explosive Growth of AI in 2025 – Latest Stats and Trends

Simon Peyton Jones on fearless refactoring over the long term in Haskell

LinkedIn Scam Detector

Show HN: A terminal-based KeePass password manager

Journalism, Media, and Technology Trends and Predictions 2025

Mistral launches chatbot for companies, triples revenue in 100 days

Alpha-Generating Digital Asset Strategies Will Reshape Alternative Investing

ProVerif: Cryptographic protocol verifier in the formal model

Verifpal is new software for verifying the security of cryptographic protocols

Are 'CSS Carousels' Accessible?

Show HN: I made an AI tool to turn personal memories into stylized portraits

What can we learn from broken things?

Show HN: --

Which LLM writes the best analytical SQL?

What happens when you take an older adult on a trishaw ride? – JOYRIDE (PBS) [video]

Mushroom meal - murder trial begins in rural Australia

How Dare You Transmit at 1.4 GHz!

HarmonyOS Next： Build Application with Different Package Names

I feel like most people still don't get who cursor targets toward

Lockbit SQL Dump Visualizer

How Lost Radar and Silent Radios Have Upended Newark Air Travel

Man speaks to killer from beyond the grave in Arizona courtroom through AI video

Quantum Energy Teleportation Across Multi-Qubit Systems

Designing type inference for high quality type errors

This Week in Rust 598

EventSourcingDB 1.0 Released

Show HN: A simple dashboard I created to keep myself up to date (WIP)

Building a 100K URLs/Second System with DynamoDB

Quantifying hierarchy and dynamics in US faculty hiring and retention

Derek Lowe: The Continuing Crisis, Part XIV

Maker's Knowledge

The Explosive Growth of AI in 2025 – Latest Stats and Trends

Simon Peyton Jones on fearless refactoring over the long term in Haskell