Show HN: RKIK v0.6.0 – A stateless NTP inspection CLI (Rust, async, no root)

1•aguacero7•37s ago•0 comments

Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)

https://medium.com/@justdoitookk/the-strong-goldbach-conjecture-for-ai-reasoning-in-higher-order-logic-standard-semantics-4f65588d7b7c

1•justdoitookk•43s ago•0 comments

Italy says Meta may be violating law with AI in WhatsApp

https://www.theregister.com/2025/07/30/italy_investigating_meta_for_forcing/

1•rntn•56s ago•0 comments

Show HN: I built a Fivetran cost monitor app natively on Snowflake

https://app.snowflake.com/marketplace/listing/GZT8Z1DIWMC/hevodata-etl-cost-monitor

1•abhilashtdharan•2m ago•0 comments

Sharding Postgres at Network Speed

https://pgdog.dev/blog/sharding-postgres-at-network-speed

2•levkk•4m ago•0 comments

Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production

8•AbhinavX•7m ago•0 comments

Add internal/external link to 100s of keywrds/phrases in 1 minute

https://proofwidget.com/

1•pablovincy•7m ago•1 comments

Show HN: Vibe Foto editor, no mouse, just prompt

https://www.fotovibe.art

1•zigakerec•8m ago•0 comments

Fair 0.4.0 now can install WordPress plugins via FAIR protocol

https://github.com/fairpm/fair-plugin/releases/tag/0.4.0

1•gslin•8m ago•0 comments

I Need Your Help

1•arshinvests•9m ago•0 comments

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

https://www.philipzucker.com/asm_verify2/

2•todsacerdoti•9m ago•0 comments

Castelo Rá-Tim-Bum

https://en.wikipedia.org/wiki/Castelo_R%C3%A1-Tim-Bum

1•kaycebasques•11m ago•0 comments

The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)

https://www.sigops.org/2025/the-role-of-llms-in-academic-reviewing/

1•devooops•11m ago•0 comments

The Hole in the Sky That We Fixed

https://every.to/p/the-hole-in-the-sky-that-we-actually-fixed

2•pbardea•11m ago•0 comments

The Surprising Durability of Africa's Colonial Borders

https://www.noemamag.com/the-surprising-durability-of-africas-colonial-borders/

1•bookofjoe•11m ago•0 comments

Silicon Valley Is Wrong about Federal University Funding

https://theahura.substack.com/p/silicon-valley-is-wrong-about-federal

1•theahura•12m ago•0 comments

Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said

1•echoprimeai•14m ago•0 comments

Show HN: A boilerplate to launch your SaaS in a weekend

https://www.saaskitt.com

1•westche2222•14m ago•0 comments

Dark Matter Search via the 229Th Nuclear Lineshape from Laser Spectroscopy

https://journals.aps.org/prx/abstract/10.1103/PhysRevX.15.021055

1•PaulHoule•15m ago•0 comments

HTML Day 2025 – Saturday, August 2nd

https://html.energy/html-day/2025/

1•azdle•16m ago•0 comments

Show HN: Term – Rust-based data validation with OpenTelemetry

https://github.com/withterm/term

2•ericpsimon•16m ago•0 comments

Berkson's Paradox

https://en.wikipedia.org/wiki/Berkson%27s_paradox

2•kaonwarb•17m ago•0 comments

A free AI starter kit – made to reduce noise, not add to it

2•SmartAITools•17m ago•1 comments

A cycle-accurate simulation of the MOS 6502 CPU

https://github.com/FelixKratz/6502-systemc

2•AdmiralBrainlag•18m ago•0 comments

Troubling scenes from an Arctic in full-tilt crisis

https://grist.org/climate/troubling-scenes-from-an-arctic-in-full-tilt-crisis/

6•Brajeshwar•21m ago•0 comments

Why plane turbulence is becoming more frequent – and more severe

https://www.bbc.com/news/articles/ckgy7jx082ro

3•Brajeshwar•21m ago•0 comments

Google says it will sign EU's AI code of practice

https://techcrunch.com/2025/07/30/google-says-it-will-sign-eus-ai-code-of-practice/

1•Brajeshwar•21m ago•0 comments

Selling open source technology to the government

https://openthc.com/blog/2025/210-how-to-sell-open-source-government

2•openthc•22m ago•0 comments

Qwen3-30B-A3B-Thinking-2507

https://twitter.com/Alibaba_Qwen/status/1950570969036361799

1•tosh•22m ago•0 comments

Show HN: A free no signup App Store Asset tool

https://app-store-image-gen.vercel.app/editor

1•boxedsound•23m ago•0 comments

Show HN: RKIK v0.6.0 – A stateless NTP inspection CLI (Rust, async, no root)

Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)

Italy says Meta may be violating law with AI in WhatsApp

Show HN: I built a Fivetran cost monitor app natively on Snowflake

Sharding Postgres at Network Speed

Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production

Add internal/external link to 100s of keywrds/phrases in 1 minute

Show HN: Vibe Foto editor, no mouse, just prompt

Fair 0.4.0 now can install WordPress plugins via FAIR protocol

I Need Your Help

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

Castelo Rá-Tim-Bum

The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)

The Hole in the Sky That We Fixed

The Surprising Durability of Africa's Colonial Borders

Silicon Valley Is Wrong about Federal University Funding

Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said

Show HN: A boilerplate to launch your SaaS in a weekend

Dark Matter Search via the 229Th Nuclear Lineshape from Laser Spectroscopy

HTML Day 2025 – Saturday, August 2nd

Show HN: Term – Rust-based data validation with OpenTelemetry

Berkson's Paradox

A free AI starter kit – made to reduce noise, not add to it

A cycle-accurate simulation of the MOS 6502 CPU

Troubling scenes from an Arctic in full-tilt crisis

Why plane turbulence is becoming more frequent – and more severe

Google says it will sign EU's AI code of practice

Selling open source technology to the government

Qwen3-30B-A3B-Thinking-2507

Show HN: A free no signup App Store Asset tool

Can banks individually create money out of nothing? (2014)

Show HN: RKIK v0.6.0 – A stateless NTP inspection CLI (Rust, async, no root)

Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)

Italy says Meta may be violating law with AI in WhatsApp

Show HN: I built a Fivetran cost monitor app natively on Snowflake

Sharding Postgres at Network Speed

Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production

Add internal/external link to 100s of keywrds/phrases in 1 minute

Show HN: Vibe Foto editor, no mouse, just prompt

Fair 0.4.0 now can install WordPress plugins via FAIR protocol

I Need Your Help

Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code

Castelo Rá-Tim-Bum

The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)

The Hole in the Sky That We Fixed

The Surprising Durability of Africa's Colonial Borders

Silicon Valley Is Wrong about Federal University Funding

Asked my AI to reflect on writing clinical notes vs. coding. Here's what it said

Show HN: A boilerplate to launch your SaaS in a weekend

Dark Matter Search via the 229Th Nuclear Lineshape from Laser Spectroscopy

HTML Day 2025 – Saturday, August 2nd

Show HN: Term – Rust-based data validation with OpenTelemetry

Berkson's Paradox

A free AI starter kit – made to reduce noise, not add to it

A cycle-accurate simulation of the MOS 6502 CPU

Troubling scenes from an Arctic in full-tilt crisis

Why plane turbulence is becoming more frequent – and more severe

Google says it will sign EU's AI code of practice

Selling open source technology to the government

Qwen3-30B-A3B-Thinking-2507

Show HN: A free no signup App Store Asset tool