KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

https://arxiv.org/abs/2503.09002

1•nickpsecurity•2m ago•0 comments

Roons – Mechanical Computer Kit

https://whomtech.com/roons/

1•thepbone•3m ago•0 comments

Show HN: Ziip – Open-Source Version of LinkedIn's Popular Puzzle Game

https://www.ziip.fun/

1•alexandergekov•3m ago•0 comments

Using an $8 smart outlet to avoid brainrot

https://www.neilchen.co/blog/kasa

2•NWChen•5m ago•0 comments

Google is killing the web with AI Overviews – I made an extension to block them

https://www.tomshardware.com/how-to/block-google-ai-overviews

2•Bluestein•8m ago•0 comments

Erik Prince and Erik Bethel – The China / Taiwan Conflict – SRS #209 [video]

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

2•keepamovin•9m ago•0 comments

Android 16 is here. I love these 6 new features

https://mashable.com/article/android-16-features-worth-update

1•Bluestein•11m ago•0 comments

Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models

https://mastra.ai/blog/mcp-tool-compatibility-layer

1•mooreds•15m ago•0 comments

Show HN: Scale by display gnome shell QoL extension

https://github.com/ilya-m32/scale-by-display

1•k0tan32•15m ago•0 comments

Building native packages is complicated

https://xeiaso.net/blog/2025/anubis-packaging/

1•mooreds•18m ago•0 comments

Ask HN: How to regain the ability to read with focus and learn

2•albert_e•20m ago•0 comments

Alert: The Net://Anchor Era Arrives in 2035. You Cannot Escape

https://dmf-archive.github.io/docs/posts/net-anchor-has-arrived/

1•NetRunnerSu•23m ago•0 comments

Articles building up to a coherent European/non-US cloud strategy

https://berthub.eu/articles/posts/cloud-overview/

2•ifthenelseor•23m ago•1 comments

Making Decisions

https://rohitgupta.in/blog/2025/06/01/Making-Decisions/

1•gogo61•23m ago•0 comments

Amid regional conflict, the Strait of Hormuz remains critical oil chokepoint

https://www.eia.gov/todayinenergy/detail.php?id=65504

2•mooreds•25m ago•0 comments

I made an app to order like a local in Japanese, Korean and Chinese. Thoughts?

https://www.menu-please.app/

1•BobCatJamesDean•30m ago•1 comments

Preserving Sacredness

https://fakepixels.substack.com/p/preserving-sacredness

2•jger15•31m ago•0 comments

How to Run OpenAI's Customer Service Agent Demo on Your Localbox Windows Setup

https://blog.vpsguy.com/how-to-run-openais-customer-service-agent-demo-on-your-local-box-with-windows-setup

1•genesem•36m ago•0 comments

Replacing Screenshots and Videos with Iframes

https://jmduke.com/posts/post/iframe-docs/

1•Tomte•36m ago•0 comments

How your Android phone can detect earthquakes

https://www.popsci.com/diy/how-android-can-detect-earthquakes/

2•geox•42m ago•0 comments

Show HN: Kameo – open-source form editor and viewer

https://github.com/kameojs/kameo

2•nistuley•43m ago•0 comments

Engineer creates ad-block for the real world with augmented reality glasses

https://www.tomshardware.com/maker-stem/engineer-creates-ad-block-for-the-real-world-with-augmented-reality-glasses-no-more-products-or-branding-in-your-everyday-life

1•LorenDB•53m ago•0 comments

Show HN: A Framework to replace API requests/responses

https://github.com/neuronumcybernetics/neuronum

1•yannisscherer•54m ago•0 comments

How AI Is Ruining the Electric Grid [video]

https://www.youtube.com/watch?v=3__HO-akNC8

1•distantranges•56m ago•0 comments

Denmark Is Switching to Linux

https://www.pcgamer.com/software/operating-systems/denmark-is-switching-to-linux/

68•ricecat•57m ago•35 comments

SerpAPI

https://serpapi.com/

1•handfuloflight•1h ago•0 comments

The Moldy Cucumber Chronicles

https://worksonmymachine.substack.com/p/the-moldy-cucumber-chronicles

1•Stwerner•1h ago•0 comments

Two Birds with One Stone: Designing a Hybrid Cloud Storage Engine for HTAP

https://dl.acm.org/doi/10.14778/3681954.3682001

1•dpraburaj•1h ago•0 comments

Fend: An arbitrary-precision unit-aware calculator

https://github.com/printfn/fend

1•fanf2•1h ago•0 comments

The Implementation of This Site

https://vale.rocks/posts/the-implementation-of-this-site

2•OuterVale•1h ago•0 comments

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Roons – Mechanical Computer Kit

Show HN: Ziip – Open-Source Version of LinkedIn's Popular Puzzle Game

Using an $8 smart outlet to avoid brainrot

Google is killing the web with AI Overviews – I made an extension to block them

Erik Prince and Erik Bethel – The China / Taiwan Conflict – SRS #209 [video]

Android 16 is here. I love these 6 new features

Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models

Show HN: Scale by display gnome shell QoL extension

Building native packages is complicated

Ask HN: How to regain the ability to read with focus and learn

Alert: The Net://Anchor Era Arrives in 2035. You Cannot Escape

Articles building up to a coherent European/non-US cloud strategy

Making Decisions

Amid regional conflict, the Strait of Hormuz remains critical oil chokepoint

I made an app to order like a local in Japanese, Korean and Chinese. Thoughts?

Preserving Sacredness

How to Run OpenAI's Customer Service Agent Demo on Your Localbox Windows Setup

Replacing Screenshots and Videos with Iframes

How your Android phone can detect earthquakes

Show HN: Kameo – open-source form editor and viewer

Engineer creates ad-block for the real world with augmented reality glasses

Show HN: A Framework to replace API requests/responses

How AI Is Ruining the Electric Grid [video]

Denmark Is Switching to Linux

SerpAPI

The Moldy Cucumber Chronicles

Two Birds with One Stone: Designing a Hybrid Cloud Storage Engine for HTAP

Fend: An arbitrary-precision unit-aware calculator

The Implementation of This Site

Using std:cpp 2025 final keynote: C++ as a 21st language by Bjarne Stroustoup

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers

Roons – Mechanical Computer Kit

Show HN: Ziip – Open-Source Version of LinkedIn's Popular Puzzle Game

Using an $8 smart outlet to avoid brainrot

Google is killing the web with AI Overviews – I made an extension to block them

Erik Prince and Erik Bethel – The China / Taiwan Conflict – SRS #209 [video]

Android 16 is here. I love these 6 new features

Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models

Show HN: Scale by display gnome shell QoL extension

Building native packages is complicated

Ask HN: How to regain the ability to read with focus and learn

Alert: The Net://Anchor Era Arrives in 2035. You Cannot Escape

Articles building up to a coherent European/non-US cloud strategy

Making Decisions

Amid regional conflict, the Strait of Hormuz remains critical oil chokepoint

I made an app to order like a local in Japanese, Korean and Chinese. Thoughts?

Preserving Sacredness

How to Run OpenAI's Customer Service Agent Demo on Your Localbox Windows Setup

Replacing Screenshots and Videos with Iframes

How your Android phone can detect earthquakes

Show HN: Kameo – open-source form editor and viewer

Engineer creates ad-block for the real world with augmented reality glasses

Show HN: A Framework to replace API requests/responses

How AI Is Ruining the Electric Grid [video]

Denmark Is Switching to Linux

SerpAPI

The Moldy Cucumber Chronicles

Two Birds with One Stone: Designing a Hybrid Cloud Storage Engine for HTAP

Fend: An arbitrary-precision unit-aware calculator

The Implementation of This Site