Trentarev – AI Powered Stock calls for everyday traders

1•aradhyashaswat•20s ago•0 comments

Archaeologists Keep Finding Shoes at an Ancient Roman Fort

https://www.smithsonianmag.com/smart-news/archaeologists-keep-finding-massive-shoes-at-an-ancient-roman-fort-and-they-have-no-idea-why-theyre-so-big-180987028/

1•janandonly•30s ago•0 comments

Rusdown: A Fast JavaScript Markdown Parser Powered by WASM/Rust

https://github.com/stanNthe5/rusdown

1•theThree•32s ago•0 comments

How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project

https://tower.dev/blog/how-to-deploy-dlthub-sqlmesh-dbt-core-or-any-python-project-to-tower

1•bradhe•38s ago•0 comments

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

https://github.com/aguacero7/rkik

1•aguacero7•2m 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•2m 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•2m 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•4m ago•0 comments

Sharding Postgres at Network Speed

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

2•levkk•5m ago•0 comments

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

9•AbhinavX•8m ago•0 comments

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

https://proofwidget.com/

1•pablovincy•9m ago•1 comments

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

https://www.fotovibe.art

1•zigakerec•9m 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•10m ago•0 comments

I Need Your Help

1•arshinvests•10m ago•0 comments

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

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

3•todsacerdoti•10m ago•0 comments

Castelo Rá-Tim-Bum

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

2•kaycebasques•12m 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•13m 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•13m ago•0 comments

The Surprising Durability of Africa's Colonial Borders

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

2•bookofjoe•13m ago•0 comments

Silicon Valley Is Wrong about Federal University Funding

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

2•theahura•13m ago•0 comments

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

2•echoprimeai•15m ago•0 comments

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

https://www.saaskitt.com

1•westche2222•16m 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•16m ago•0 comments

HTML Day 2025 – Saturday, August 2nd

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

1•azdle•17m ago•0 comments

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

https://github.com/withterm/term

2•ericpsimon•17m ago•0 comments

Berkson's Paradox

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

2•kaonwarb•19m ago•0 comments

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

2•SmartAITools•19m ago•1 comments

A cycle-accurate simulation of the MOS 6502 CPU

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

2•AdmiralBrainlag•20m 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•22m ago•0 comments

Why plane turbulence is becoming more frequent – and more severe

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

3•Brajeshwar•22m ago•0 comments

Trentarev – AI Powered Stock calls for everyday traders

Archaeologists Keep Finding Shoes at an Ancient Roman Fort

Rusdown: A Fast JavaScript Markdown Parser Powered by WASM/Rust

How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project

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

DIY Dual-Screen Cyberdeck: Sleek Design, Ultimate Functionality [video]

Trentarev – AI Powered Stock calls for everyday traders

Archaeologists Keep Finding Shoes at an Ancient Roman Fort

Rusdown: A Fast JavaScript Markdown Parser Powered by WASM/Rust

How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project

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