Open Source Tools for Verifying Authorization Policies

https://aws.amazon.com/blogs/opensource/introducing-cedar-analysis-open-source-tools-for-verifying-authorization-policies/

1•mooreds•1m ago•0 comments

AI Is a Threat for Developers

https://shipvalue.substack.com/p/ai-is-a-threat-for-developers

1•juricake•3m ago•1 comments

KDE Plasma Mobile – The Dev Log: April 2024 – June 2025

https://plasma-mobile.org/2025/06/18/dev-log/

1•jlpcsl•7m ago•0 comments

Show HN: Wallper – 4K Live Video Wallpapers for macOS

https://www.wallper.app/

1•DimKat•10m ago•0 comments

Guess I'm a Rationalist Now

https://scottaaronson.blog/?p=8908

1•nsoonhui•11m ago•0 comments

The Death of the Student Essay–and the Future of Cognition

https://www.forkingpaths.co/p/the-death-of-the-student-essayand

1•ColinWright•12m ago•0 comments

Nvdia using SPARK for safety-critical firmware

https://www.adacore.com/nvidia

1•c2the3rd•14m ago•0 comments

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

https://deadbeef.io/cnn_from_scratch

1•rjinman•16m 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•18m 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•19m ago•0 comments

A Technique of Pure Reason

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

1•ibobev•20m 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•22m ago•1 comments

Store as HTML, Edit as LML

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

1•ibobev•22m ago•0 comments

Haskell Weekly Issue 477

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

1•amalinovic•23m ago•0 comments

It's 1999 and I Feel Fine

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

1•ibobev•24m 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•24m 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•25m ago•0 comments

Show HN: Boeing Flight Detector

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

3•pankajtanwar•29m ago•0 comments

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

1•KnowledgeE•30m ago•0 comments

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

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

4•defrost•31m ago•0 comments

NumPy-like audio manipulation library

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

1•pinter69•32m ago•1 comments

Rewriting Kafka in Rust

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

2•chuckhend•34m 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•39m ago•0 comments

Show HN: Curated collection of the greatest photography books

https://photographybooks.top/

2•Henadz•41m ago•0 comments

Show HN: Simple Drag and drop mockup creator

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

2•jdsane•42m ago•0 comments

They Control You

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

3•frag•43m 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

12•Maciej-roboblog•46m ago•6 comments

2025 Gödel Prize has been awarded to Eshan Chattopadhyay

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

3•thunderbong•48m ago•0 comments

Let There Be Bobcoin

https://bitfieldconsulting.com/posts/cryptocurrency

1•gus_leonel•53m ago•0 comments

Sizing Up Sizewell C

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

2•scrlk•54m ago•0 comments

Open Source Tools for Verifying Authorization Policies

AI Is a Threat for Developers

KDE Plasma Mobile – The Dev Log: April 2024 – June 2025

Show HN: Wallper – 4K Live Video Wallpapers for macOS

Guess I'm a Rationalist Now

The Death of the Student Essay–and the Future of Cognition

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

Ubuntu 25.04, Fedora 42 Hit Long Sought Milestone with HDR Support Working Well

Open Source Tools for Verifying Authorization Policies

AI Is a Threat for Developers

KDE Plasma Mobile – The Dev Log: April 2024 – June 2025

Show HN: Wallper – 4K Live Video Wallpapers for macOS

Guess I'm a Rationalist Now

The Death of the Student Essay–and the Future of Cognition

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