Jean-Raymond Abrial, author of Z and B passed away

https://en.wikipedia.org/wiki/Jean-Raymond_Abrial

1•burnt-resistor•2m ago•0 comments

Design Patterns for Software Diagramming

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

1•mcp_•2m ago•0 comments

Lessons Learned from Book the Cuckoo's Egg (No Spoiler)

https://techkettle.blogspot.com/2025/06/the-cuckoos-egg-learned-lessons-no.html

1•elsadek•2m ago•0 comments

What does it mean to "win the AI race"?

https://netwars.pelicancrossing.net/2025/07/11/conundrum/

1•ColinWright•8m ago•1 comments

Does AI boost productivity? The evidence is murky

https://theconversation.com/does-ai-actually-boost-productivity-the-evidence-is-murky-260690

2•chris_overseas•12m ago•0 comments

Recovering Corrupt Zip Files

https://www.construct.net/en/blogs/ashleys-blog-2/recovering-corrupt-zip-files-1895

1•AshleysBrain•12m ago•0 comments

The most powerful open-source animated video generation model

https://www.anisora.ai

1•kevinliao-ai•14m ago•0 comments

Show HN: Reviving a 20 year old OS X App

https://andrewshaw.nl/blog/reviving-genius

1•shawa_a_a•14m ago•0 comments

Apple Adds Trash Can Mac Pro, AirPorts, and More to Vintage Products List

https://www.macrumors.com/2025/07/11/apple-vintage-products-2013-mac-pro/

1•tosh•20m ago•0 comments

Redumper – a low-level byte-perfect CD disc dumper (cross platform)

https://github.com/superg/redumper

1•sandreas•21m ago•0 comments

Show HN: Extension to Quickly Search Using ChatGPT

https://chromewebstore.google.com/detail/chatgpt-search-use-on-any/ekamciedckbbigpojmkhbaoddfbdkphi

1•bluelegacy•25m ago•0 comments

The Magical Thinking That's Killing Our Humanity

https://www.notesfromthecircus.com/p/the-magical-thinking-thats-killing

2•bertman•29m ago•0 comments

Can you pass my questions to your technical person? I don't think you understand

https://mastodon.neilzone.co.uk/@neil/114768125625705037

1•ColinWright•33m ago•0 comments

Backtesting a simple strategy using ChatGPT

https://medium.com/fractiz/backtesting-a-simple-strategy-using-chatgpt-9c3f79436466

1•anupshinde•34m ago•0 comments

Second Sight

https://netwars.pelicancrossing.net/2025/07/04/second-sight/

1•ColinWright•36m ago•0 comments

Ask HN: What Printer?

2•rich_sasha•38m ago•0 comments

Commodore 64 Ultimate

https://www.commodore.net

1•peterkelly•40m ago•0 comments

Possible End to End to End Encryption: Come Help

https://berthub.eu/articles/posts/possible-end-to-end-to-end-come-help/

4•nabla9•51m ago•1 comments

Ask HN: How does Weighted Fair Queuing packet scheduler works?

1•shivajikobardan•58m ago•0 comments

Commodore 64 Ultimate

https://www.commodore.net/product-page/commodore-64-ultimate-collectible-founders-edition-batch1

3•ulfbert_inc•1h ago•0 comments

Capability Hardware Enhanced RISC Instructions (CHERI)

https://en.wikipedia.org/wiki/Capability_Hardware_Enhanced_RISC_Instructions

2•burnt-resistor•1h ago•0 comments

How to Avoid Association Risks in Multi-Account Campaigns?

1•yt1314•1h ago•0 comments

Context Engineering – can't call it engineering if we can't predict it breaking [video]

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

3•HammadB•1h ago•0 comments

MacPaint Art from the Mid-80s Still Looks Great Today

https://blog.decryption.net.au/posts/macpaint.html

75•decryption•1h ago•8 comments

The Dark Factor of Personality

https://darkfactor.org/

1•thinkingemote•1h ago•0 comments

Idris 2: quantitative type theory in practice

https://arxiv.org/abs/2104.00480

3•fanf2•1h ago•0 comments

The Role of XML in Interoperability

https://blog.documentfoundation.org/blog/2025/07/11/the-role-of-xml-in-interoperability/

3•zaik•1h ago•0 comments

Open-sourcing our clinical triage benchmark for evaluating LLMs

https://github.com/medaks/medask-benchmarks

2•klemenvod•1h ago•2 comments

Surprising not CR*P – Vibing hardware

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

3•iamflimflam1•1h ago•0 comments

Measuring the Impact of LLMs on Experienced Developer Productivity

https://hackaday.com/2025/07/11/measuring-the-impact-of-llms-on-experienced-developer-productivity/

2•iamflimflam1•1h ago•0 comments

Jean-Raymond Abrial, author of Z and B passed away

Design Patterns for Software Diagramming

Lessons Learned from Book the Cuckoo's Egg (No Spoiler)

What does it mean to "win the AI race"?

Does AI boost productivity? The evidence is murky

Recovering Corrupt Zip Files

The most powerful open-source animated video generation model

Show HN: Reviving a 20 year old OS X App

Apple Adds Trash Can Mac Pro, AirPorts, and More to Vintage Products List

Redumper – a low-level byte-perfect CD disc dumper (cross platform)

Show HN: Extension to Quickly Search Using ChatGPT

The Magical Thinking That's Killing Our Humanity

Can you pass my questions to your technical person? I don't think you understand

Backtesting a simple strategy using ChatGPT

Second Sight

Ask HN: What Printer?

Commodore 64 Ultimate

Possible End to End to End Encryption: Come Help

Ask HN: How does Weighted Fair Queuing packet scheduler works?

Commodore 64 Ultimate

Capability Hardware Enhanced RISC Instructions (CHERI)

How to Avoid Association Risks in Multi-Account Campaigns?

Context Engineering – can't call it engineering if we can't predict it breaking [video]

MacPaint Art from the Mid-80s Still Looks Great Today

The Dark Factor of Personality

Idris 2: quantitative type theory in practice

The Role of XML in Interoperability

Open-sourcing our clinical triage benchmark for evaluating LLMs

Surprising not CR*P – Vibing hardware

Measuring the Impact of LLMs on Experienced Developer Productivity

Playbook for Building Secure Cloud or Kubernetes Applications

Jean-Raymond Abrial, author of Z and B passed away

Design Patterns for Software Diagramming

Lessons Learned from Book the Cuckoo's Egg (No Spoiler)

What does it mean to "win the AI race"?

Does AI boost productivity? The evidence is murky

Recovering Corrupt Zip Files

The most powerful open-source animated video generation model

Show HN: Reviving a 20 year old OS X App

Apple Adds Trash Can Mac Pro, AirPorts, and More to Vintage Products List

Redumper – a low-level byte-perfect CD disc dumper (cross platform)

Show HN: Extension to Quickly Search Using ChatGPT

The Magical Thinking That's Killing Our Humanity

Can you pass my questions to your technical person? I don't think you understand

Backtesting a simple strategy using ChatGPT

Second Sight

Ask HN: What Printer?

Commodore 64 Ultimate

Possible End to End to End Encryption: Come Help

Ask HN: How does Weighted Fair Queuing packet scheduler works?

Commodore 64 Ultimate

Capability Hardware Enhanced RISC Instructions (CHERI)

How to Avoid Association Risks in Multi-Account Campaigns?

Context Engineering – can't call it engineering if we can't predict it breaking [video]

MacPaint Art from the Mid-80s Still Looks Great Today

The Dark Factor of Personality

Idris 2: quantitative type theory in practice

The Role of XML in Interoperability

Open-sourcing our clinical triage benchmark for evaluating LLMs

Surprising not CR*P – Vibing hardware

Measuring the Impact of LLMs on Experienced Developer Productivity