fp.

Volkswagen's flying-car dream crashed in China

https://www.reuters.com/investigations/how-volkswagens-flying-car-dream-crashed-china-2026-07-30/

1•tartoran•2m ago•0 comments

Origin of CAR and CDR – IBM 704 and PDP-6 Lisp

https://www.youtube.com/watch?v=dXBmCIfb92k

1•ozymandiax•3m ago•1 comments

Microsoft's 3-day patching directive comes with added operational risk

https://www.csoonline.com/article/4200366/microsofts-3-day-patching-directive-comes-with-added-op...

1•speckx•4m ago•0 comments

Dart 3.12

https://dart.dev/blog/announcing-dart-3-12

1•andrewstetsenko•4m ago•0 comments

Zoox can now charge for rides in its steering-wheel-free robotaxis

https://www.theverge.com/transportation/973099/zoox-amazon-nhtsa-robotaxi-approval

1•mikelgan•6m ago•1 comments

FTC Acts Against Hims & Hers for Deceptive and Unlawful Privacy Practices

https://www.ftc.gov/news-events/news/press-releases/2026/07/ftc-states-act-against-hims-hers-dece...

1•impish9208•6m ago•1 comments

LinkedIn Introduces a 'Seems Like AI Slop' Button

https://www.404media.co/linkedin-introduces-a-seems-like-ai-slop-button/

4•cdrnsf•7m ago•0 comments

What if AI removes the friction that makes good engineers?

https://leonardthiele.substack.com/p/what-if-ai-removes-the-friction

1•Leonerd•7m ago•0 comments

Poolside Desktop Assistant, for macOS

https://poolside.ai/blog/introducing-poolside-desktop-assistant

1•_superposition_•9m ago•0 comments

My AI Wishlist

https://diverging.run/checkpoints/ai-coding-wishlist/

1•shay_ker•9m ago•0 comments

SDL_GPU minimal, single-header, high-performance 2D graphics painting library

https://github.com/n67094/sdl_gp

1•n67094•11m ago•0 comments

Reversing Abstractions: An Existential Crisis

https://www.humprog.org/~stephen/blog/research/recovering-abstraction.html

1•tosh•13m ago•0 comments

The Challenges of Connecting Slack and Teams

https://conv.ly/blog/en/slack-teams-challenges/

1•convly•14m ago•0 comments

Post-quantum authentication to origins is now supported

https://blog.cloudflare.com/post-quantum-authentication-to-origins/

2•atkrad•17m ago•0 comments

Trusted URLs via Cryptographic Signatures

https://blog.certisfy.com/2026/04/trusted-urls-via-cryptographic.html

2•Edmond•17m ago•0 comments

Leopold Aschenbrenner unwinds all public stock positions after steep losses

https://www.cnbc.com/2026/07/30/leopold-aschenbrenners-hedge-fund-is-facing-steep-ai-losses.html

3•scrlk•18m ago•0 comments

Stripe more than tripled the price of Stripe Radar

https://stripe.com/en-ch/radar/pricing

3•Palmik•18m ago•2 comments

Hacker Public Radio

https://hackerpublicradio.org/

4•bmacho•18m ago•0 comments

Time Tracking – Software, Methodologies and Practices

https://github.com/ever-works/awesome-time-tracking

2•ankitg12•19m ago•0 comments

Building the vaporwave screensaver of my dreams

https://aboard.com/summertime-software/

2•speckx•20m ago•0 comments

Cheapest International Business Payments: Beyond Correspondent Banking

https://paybitz.io/cheapest-international-business-payments-beyond-correspondent-banking/

2•PayBitz•20m ago•0 comments

Home water harvesting is being supercharged by Nobel Prize-winning tech

https://www.ft.com/content/74b0e527-b549-4c8b-81e9-3649d417a9ff

3•bookofjoe•21m ago•1 comments

AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug

https://infosec.exchange/@0xabad1dea/117002106099986943

2•YeGoblynQueenne•22m ago•0 comments

Try sending "see the below –" to Opus 5

https://twitter.com/matthen2/status/2082566186785480708

2•Klaster_1•24m ago•0 comments

List of 6502 based computers and 6502 history

https://www.machineideas.com/6502

3•stmw•25m ago•0 comments

Show HN: Touchgrass, non-addictive social network, Fediverse and bsky-compatible

2•nielsdecoster•27m ago•0 comments

Formal Verification of Cryptographic Protocol Implementations in Rust

https://dl.acm.org/doi/epdf/10.1145/3719027.3765213

2•abiro•27m ago•0 comments

Adform compromised to serve crypto stealer via supply chain attack

https://doublepulsar.com/adform-compromised-to-serve-crypto-stealer-via-supply-chain-attack-2f1ec...

Volkswagen's flying-car dream crashed in China

Origin of CAR and CDR – IBM 704 and PDP-6 Lisp

Microsoft's 3-day patching directive comes with added operational risk

Dart 3.12

Zoox can now charge for rides in its steering-wheel-free robotaxis

FTC Acts Against Hims & Hers for Deceptive and Unlawful Privacy Practices

LinkedIn Introduces a 'Seems Like AI Slop' Button

What if AI removes the friction that makes good engineers?

Poolside Desktop Assistant, for macOS

My AI Wishlist

SDL_GPU minimal, single-header, high-performance 2D graphics painting library

Reversing Abstractions: An Existential Crisis

The Challenges of Connecting Slack and Teams

Post-quantum authentication to origins is now supported

Trusted URLs via Cryptographic Signatures

Leopold Aschenbrenner unwinds all public stock positions after steep losses

Stripe more than tripled the price of Stripe Radar

Hacker Public Radio

Time Tracking – Software, Methodologies and Practices

Building the vaporwave screensaver of my dreams

Cheapest International Business Payments: Beyond Correspondent Banking

Home water harvesting is being supercharged by Nobel Prize-winning tech

AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug

Try sending "see the below –" to Opus 5

List of 6502 based computers and 6502 history

Show HN: Touchgrass, non-addictive social network, Fediverse and bsky-compatible

Formal Verification of Cryptographic Protocol Implementations in Rust

Adform compromised to serve crypto stealer via supply chain attack

OpenBcon – Open-source AI consulting platform on GitHub

Programming as Theory Building, Part II: When Institutions Crumble

Volkswagen's flying-car dream crashed in China

Origin of CAR and CDR – IBM 704 and PDP-6 Lisp

Microsoft's 3-day patching directive comes with added operational risk

Dart 3.12

Zoox can now charge for rides in its steering-wheel-free robotaxis

FTC Acts Against Hims & Hers for Deceptive and Unlawful Privacy Practices

LinkedIn Introduces a 'Seems Like AI Slop' Button

What if AI removes the friction that makes good engineers?

Poolside Desktop Assistant, for macOS

My AI Wishlist

SDL_GPU minimal, single-header, high-performance 2D graphics painting library

Reversing Abstractions: An Existential Crisis

The Challenges of Connecting Slack and Teams

Post-quantum authentication to origins is now supported

Trusted URLs via Cryptographic Signatures

Leopold Aschenbrenner unwinds all public stock positions after steep losses

Stripe more than tripled the price of Stripe Radar

Hacker Public Radio

Time Tracking – Software, Methodologies and Practices

Building the vaporwave screensaver of my dreams

Cheapest International Business Payments: Beyond Correspondent Banking

Home water harvesting is being supercharged by Nobel Prize-winning tech

AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug

Try sending "see the below –" to Opus 5

List of 6502 based computers and 6502 history

Show HN: Touchgrass, non-addictive social network, Fediverse and bsky-compatible

Formal Verification of Cryptographic Protocol Implementations in Rust

Adform compromised to serve crypto stealer via supply chain attack

OpenBcon – Open-source AI consulting platform on GitHub

Programming as Theory Building, Part II: When Institutions Crumble