Nvdia using SPARK for safety-critical firmware

https://www.adacore.com/nvidia

1•c2the3rd•2m ago•0 comments

Show HN: Building a convolutional neural network from scratch with no libraries

https://deadbeef.io/cnn_from_scratch

1•rjinman•4m ago•0 comments

I rebuilt Kate Raworth's Doughnut Economics model with SDG metrics and data

https://debuggingearth.substack.com/p/can-you-show-all-of-worlds-problems

1•MattDworakowski•6m ago•0 comments

AI-assisted coding for teams that can't get away with vibes

https://blog.nilenso.com/blog/2025/05/29/ai-assisted-coding/

1•m5r•7m ago•0 comments

A Technique of Pure Reason

https://www.lesswrong.com/posts/qSgcmfv8nxZyYofNb/a-technique-of-pure-reason

1•ibobev•8m ago•0 comments

Is Fake Grass Safe? A Manufacturer Sues to Stop a Discussion

https://www.nytimes.com/2025/06/17/climate/artificial-turf-grass-lawsuit-defamation-health-risk.html

2•bookofjoe•10m ago•1 comments

Store as HTML, Edit as LML

https://ratfactor.com/htmlwarden/store-html-edit-lml

1•ibobev•10m ago•0 comments

Haskell Weekly Issue 477

https://haskellweekly.news/issue/477.html

1•amalinovic•11m ago•0 comments

It's 1999 and I Feel Fine

https://www.filfre.net/2025/06/its-1999-and-i-feel-fine/

1•ibobev•12m ago•0 comments

Investors Are Finally Excited About Europe and Japan Again

https://www.businessinsider.com/europe-germany-japan-economy-markets-investment-opportunity-outlook-sell-america-2025-6

1•doener•12m ago•0 comments

Matrix: Why Olm and Megolm Are No Longer Fit to Protect Sensitive Data in the EU

https://wire.com/en/blog/olm-megolm-eu-data-privacy-risk

1•bipbip4242•13m ago•0 comments

Show HN: Boeing Flight Detector

https://github.com/Pankajtanwarbanna/boeing-flight-detector

3•pankajtanwar•17m ago•0 comments

Khalifa University and Knowledge E to Organise AI Futures Summit in Abu Dhabi

1•KnowledgeE•18m ago•0 comments

/e/ OS 3.0: Slightly less clunky, slightly more private

https://www.theregister.com/2025/06/19/murena_e_os_3/

3•defrost•19m ago•0 comments

NumPy-like audio manipulation library

https://github.com/deepdub-ai/audiosample

1•pinter69•20m ago•1 comments

Rewriting Kafka in Rust

https://wangjunfei.com/2025/06/18/Rewriting-Kafka-in-Rust-Async-Insights-and-Lessons-Learned/

2•chuckhend•22m ago•0 comments

A Deep Dive into OpenAPI

https://www.deployhq.com/blog/unlocking-seamless-development-and-collaboration-a-deep-dive-into-openapi

3•whatatimeline•27m ago•0 comments

Show HN: Curated collection of the greatest photography books

https://photographybooks.top/

2•Henadz•29m ago•0 comments

Show HN: Simple Drag and drop mockup creator

https://peerlist.io/jellydeck/project/moocup

2•jdsane•30m ago•0 comments

They Control You

https://defragzone.substack.com/p/how-they-control-you

3•frag•31m ago•1 comments

Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs

https://github.com/Maciek-roboblog/Claude-Code-Usage-Monitor

11•Maciej-roboblog•34m ago•5 comments

2025 Gödel Prize has been awarded to Eshan Chattopadhyay

https://www.sigact.org/prizes/g%C3%B6del.html

3•thunderbong•36m ago•0 comments

Let There Be Bobcoin

https://bitfieldconsulting.com/posts/cryptocurrency

1•gus_leonel•41m ago•0 comments

Sizing Up Sizewell C

https://thecritic.co.uk/sizing-up-sizewell-c/

2•scrlk•42m ago•0 comments

Protestware in JavaScript UI Toolkits on NPM Target Russian Language Sites

https://socket.dev/blog/protestware-on-npm-targets-russian-language-sites

2•feross•42m ago•0 comments

Optimizing tea: An N=4 experiment

https://dynomight.net/tea/

1•OuterVale•42m ago•0 comments

Usability Barriers for Liquid Types

https://dl.acm.org/doi/abs/10.1145/3729327

1•matt_d•47m ago•0 comments

Nationalization of Cyber Threat Intelligence

https://fromcyberia.substack.com/p/nationalization-of-cyber-threat-intelligence

2•campuscodi•47m ago•0 comments

Six-month-old, solo-owned vibe coder Base44 sells to Wix for $80M cash

https://techcrunch.com/2025/06/18/6-month-old-solo-owned-vibe-coder-base44-sells-to-wix-for-80m-cash/

18•myth_drannon•50m ago•0 comments

Show HN: 10xarch – System design playground for building and getting AI feedback

https://www.10xarch.com/

3•ahmadhawwash•51m ago•0 comments

Nvdia using SPARK for safety-critical firmware

Show HN: Building a convolutional neural network from scratch with no libraries

I rebuilt Kate Raworth's Doughnut Economics model with SDG metrics and data

AI-assisted coding for teams that can't get away with vibes

A Technique of Pure Reason

Is Fake Grass Safe? A Manufacturer Sues to Stop a Discussion

Store as HTML, Edit as LML

Haskell Weekly Issue 477

It's 1999 and I Feel Fine

Investors Are Finally Excited About Europe and Japan Again

Matrix: Why Olm and Megolm Are No Longer Fit to Protect Sensitive Data in the EU

Show HN: Boeing Flight Detector

Khalifa University and Knowledge E to Organise AI Futures Summit in Abu Dhabi

/e/ OS 3.0: Slightly less clunky, slightly more private

NumPy-like audio manipulation library

Rewriting Kafka in Rust

A Deep Dive into OpenAPI

Show HN: Curated collection of the greatest photography books

Show HN: Simple Drag and drop mockup creator

They Control You

Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs

2025 Gödel Prize has been awarded to Eshan Chattopadhyay

Let There Be Bobcoin

Sizing Up Sizewell C

Protestware in JavaScript UI Toolkits on NPM Target Russian Language Sites

Optimizing tea: An N=4 experiment

Usability Barriers for Liquid Types

Nationalization of Cyber Threat Intelligence

Six-month-old, solo-owned vibe coder Base44 sells to Wix for $80M cash

Show HN: 10xarch – System design playground for building and getting AI feedback

Solar Technology Produces Clean Hydrogen from Plastic Waste

Nvdia using SPARK for safety-critical firmware

Show HN: Building a convolutional neural network from scratch with no libraries

I rebuilt Kate Raworth's Doughnut Economics model with SDG metrics and data

AI-assisted coding for teams that can't get away with vibes

A Technique of Pure Reason

Is Fake Grass Safe? A Manufacturer Sues to Stop a Discussion

Store as HTML, Edit as LML

Haskell Weekly Issue 477

It's 1999 and I Feel Fine

Investors Are Finally Excited About Europe and Japan Again

Matrix: Why Olm and Megolm Are No Longer Fit to Protect Sensitive Data in the EU

Show HN: Boeing Flight Detector

Khalifa University and Knowledge E to Organise AI Futures Summit in Abu Dhabi

/e/ OS 3.0: Slightly less clunky, slightly more private

NumPy-like audio manipulation library

Rewriting Kafka in Rust

A Deep Dive into OpenAPI

Show HN: Curated collection of the greatest photography books

Show HN: Simple Drag and drop mockup creator

They Control You

Show HN: Claude Code Usage Monitor – real-time tracker to dodge usage cut-offs

2025 Gödel Prize has been awarded to Eshan Chattopadhyay

Let There Be Bobcoin

Sizing Up Sizewell C

Protestware in JavaScript UI Toolkits on NPM Target Russian Language Sites

Optimizing tea: An N=4 experiment

Usability Barriers for Liquid Types

Nationalization of Cyber Threat Intelligence

Six-month-old, solo-owned vibe coder Base44 sells to Wix for $80M cash

Show HN: 10xarch – System design playground for building and getting AI feedback