Formal Security & Verification of Cryptographic Protocol Implementations in Rust

https://eprint.iacr.org/2025/980

1•matt_d•2m ago•0 comments

Drew Saur on the Commodore 64

https://theprogressivecio.com/the-commodore-64-made-a-difference/

1•Bogdanp•2m ago•0 comments

OpenAI Vulnerability: 48 Days, No Response

https://requilence.any.org/open-ai-vulnerability-responsible-disclosure

1•requilence•2m ago•1 comments

How bad are search results? Let's compare

https://danluu.com/seo-spam/

1•warrenm•3m ago•0 comments

Chatbot, the Evolution of Conversational Software

https://www.interlogica.it/en/insight-en/chatbot-history/

1•Bluestein•3m ago•0 comments

DeepMind AI staff tied to "aggressive" noncompete – Offering year-long PTO

https://www.windowscentral.com/software-apps/work-productivity/deepmind-noncompete-clause-rival-labs

1•Bluestein•4m ago•0 comments

Billionaires Convince Themselves Chatbots Close to Making Scientific Discoveries

https://gizmodo.com/billionaires-convince-themselves-ai-is-close-to-making-new-scientific-discoveries-2000629060

3•maartenscholl•13m ago•1 comments

I Tried Grok's Built-In Anime Companion and It Called Me a Twat

https://www.wired.com/story/elon-musk-xai-ai-companion-ani/

2•coloneltcb•15m ago•0 comments

Mistral Releases Voxtral: Open Source Speech Understanding Models (3B and 24B)

https://huggingface.co/mistralai

2•yanng404•22m ago•0 comments

Behind the Streams: Three Years of Live at Netflix

https://netflixtechblog.com/behind-the-streams-live-at-netflix-part-1-d23f917c2f40?source=social.linkedin&_nonce=QaDyAeai

1•mfiguiere•27m ago•0 comments

Gauging Light Pollution: The Bortle Dark-Sky Scale

https://skyandtelescope.org/astronomy-resources/light-pollution-and-astronomy-the-bortle-dark-sky-scale/

1•dskhatri•30m ago•0 comments

Implantable device could save diabetes patients from dangerously low blood sugar

https://medicalxpress.com/news/2025-07-implantable-device-diabetes-patients-dangerously.html

1•PaulHoule•32m ago•0 comments

Americans' new tax rates depend on who they are and what they do

https://news.bloomberglaw.com/daily-tax-report/americans-new-tax-rates-depend-on-who-they-are-and-what-they-do

1•hhs•34m ago•0 comments

Ask HN: Relevant Java programming language in this new world of AI

1•rammy1234•34m ago•0 comments

I'm a Genocide Scholar. I Know It When I See It

https://www.nytimes.com/2025/07/15/opinion/israel-gaza-holocaust-genocide-palestinians.html

7•lyu07282•35m ago•4 comments

Nuxt v4

https://nuxt.com/blog/v4

1•2sf5•37m ago•0 comments

Ask HN: What is the best way to learn 3D modeling for 3D printing?

1•wand3r•38m ago•0 comments

Huawei's star AI model was built on burnout and plagiarism

https://the-open-source-ward.ghost.io/the-pangu-illusion-how-huaweis-star-ai-model-was-built-on-burnout-betrayal-and-open-source-theft/

20•avervaet•38m ago•9 comments

Steve Albini interview by Billy Hell (2005)

https://www.furious.com/perfect/shellac.html

1•rufus_foreman•38m ago•0 comments

Android Rewind

https://androidrewind.com/

1•GlitchRider47•44m ago•0 comments

Horus: A Protocol for Trustless Delegation Under Uncertainty

https://arxiv.org/abs/2507.00631

1•david_shi•49m ago•0 comments

Show HN: Vezeto – Android app for travelers powered by AI

1•dujma•49m ago•0 comments

US court gives Argentina three more days to surrender its YPF shares

https://english.elpais.com/economy-and-business/2025-07-15/us-court-gives-argentina-three-more-days-to-surrender-its-ypf-shares.html

2•geox•49m ago•0 comments

Yield curve for engineers has inverted

https://mvcalder-01701.medium.com/the-inverted-yield-curve-48d48959ba6a

3•mvcalder•54m ago•1 comments

Mathematician has solved the Kakeya conjecture

https://english.elpais.com/science-tech/2025-07-14/what-is-the-smallest-space-in-which-a-needle-can-be-rotated-to-point-in-the-opposite-direction-this-mathematician-has-finally-solved-the-kakeya-conjecture.html

2•belter•56m ago•0 comments

AI Isn't Responsible for Slop. We Are Doing It to Ourselves

https://www.techpolicy.press/ai-isnt-responsible-for-slop-we-are-doing-it-to-ourselves/

1•jomaric•58m ago•1 comments

Reversing Google's New VM-Based Integrity Protection: PairIP

https://blog.byterialab.com/reversing-googles-new-vm-based-integrity-protection-pairip/

Formal Security & Verification of Cryptographic Protocol Implementations in Rust

Drew Saur on the Commodore 64

OpenAI Vulnerability: 48 Days, No Response

How bad are search results? Let's compare

Chatbot, the Evolution of Conversational Software

DeepMind AI staff tied to "aggressive" noncompete – Offering year-long PTO

Billionaires Convince Themselves Chatbots Close to Making Scientific Discoveries

I Tried Grok's Built-In Anime Companion and It Called Me a Twat

Mistral Releases Voxtral: Open Source Speech Understanding Models (3B and 24B)

Behind the Streams: Three Years of Live at Netflix

Gauging Light Pollution: The Bortle Dark-Sky Scale

Implantable device could save diabetes patients from dangerously low blood sugar

Americans' new tax rates depend on who they are and what they do

Ask HN: Relevant Java programming language in this new world of AI

I'm a Genocide Scholar. I Know It When I See It

Nuxt v4

Ask HN: What is the best way to learn 3D modeling for 3D printing?

Huawei's star AI model was built on burnout and plagiarism

Steve Albini interview by Billy Hell (2005)

Android Rewind

Horus: A Protocol for Trustless Delegation Under Uncertainty

Show HN: Vezeto – Android app for travelers powered by AI

US court gives Argentina three more days to surrender its YPF shares

Yield curve for engineers has inverted

Mathematician has solved the Kakeya conjecture

AI Isn't Responsible for Slop. We Are Doing It to Ourselves

Reversing Google's New VM-Based Integrity Protection: PairIP

Making an ASCII Animation

Show HN: TogetherMoon – Share the night sky with someone miles away

Do Indoor Pools Need to Close for Lightning?

Why Everyone You Know Is Suddenly a Birder

Comments

Formal Security & Verification of Cryptographic Protocol Implementations in Rust

Drew Saur on the Commodore 64

OpenAI Vulnerability: 48 Days, No Response

How bad are search results? Let's compare

Chatbot, the Evolution of Conversational Software

DeepMind AI staff tied to "aggressive" noncompete – Offering year-long PTO

Billionaires Convince Themselves Chatbots Close to Making Scientific Discoveries

I Tried Grok's Built-In Anime Companion and It Called Me a Twat

Mistral Releases Voxtral: Open Source Speech Understanding Models (3B and 24B)

Behind the Streams: Three Years of Live at Netflix

Gauging Light Pollution: The Bortle Dark-Sky Scale

Implantable device could save diabetes patients from dangerously low blood sugar

Americans' new tax rates depend on who they are and what they do

Ask HN: Relevant Java programming language in this new world of AI

I'm a Genocide Scholar. I Know It When I See It

Nuxt v4

Ask HN: What is the best way to learn 3D modeling for 3D printing?

Huawei's star AI model was built on burnout and plagiarism

Steve Albini interview by Billy Hell (2005)

Android Rewind

Horus: A Protocol for Trustless Delegation Under Uncertainty

Show HN: Vezeto – Android app for travelers powered by AI

US court gives Argentina three more days to surrender its YPF shares

Yield curve for engineers has inverted

Mathematician has solved the Kakeya conjecture

AI Isn't Responsible for Slop. We Are Doing It to Ourselves

Reversing Google's New VM-Based Integrity Protection: PairIP

Making an ASCII Animation

Show HN: TogetherMoon – Share the night sky with someone miles away

Do Indoor Pools Need to Close for Lightning?