frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

pgrust passes 100% of the Postgres regression tests

https://malisper.me/pgrust-passes-100-of-postgresqls-regression-tests/
16•tosh•1h ago

Comments

ivanjermakov•1h ago
> The goal is to make Postgres easier to change from the inside <...>

Easier because it's in Rust and not in C?

If LLMs are good enough to rewrite C to Rust, why not just use it to change C directly?

Would be nice to see some research compairing LLMs performance on the "same" codebase where the only difference is the language.

ShinTakuya•1h ago
I don't support this idea of rewriting everything in Rust but the answer to your question should be fairly obvious. Rust that compiles will generally be stable assuming you don't do a bunch of unwraps and panics. C that compiles can seem fine until it isn't.

LLMs still aren't as good at detecting C memory management issues as an experienced developer. With Rust, that doesn't matter as much because generally the compiler will tell the LLM when it's wrong.

takamoto•59m ago
Your regression tests can't catch every type of pointer, memory and undefined behavior failure so passing the tests after a change means less if the language is C than if the language is rust since rust has far fewer allowances.
criley2•58m ago
>If LLMs are good enough to rewrite C to Rust, why not just use it to change C directly?

One part of how LLMs can deliver quality code isn't the LLM itself, but the environment. Linting rules, automated tests, compilers, or other tools that give the LLM feedback during agentic engineering.

Rust has a lot more feedback than C about memory safety out of the box, meaning that it's a lot easier for an LLM (or human) to write memory safe code using it.

mawadev•57m ago
They are large language models, they can translate very well, but they cannot form original changes without heavy supervision/review and indefinite feedback loops. Most of these projects you see are just a way to gather attention or justify technology that is flawed at a fundamental level for the use case it pretends to be good for. Rust in particular has a very strict compiler and a lot of tokens/language features/syntax that hint at specific behavior tightening the feedback loop.

Maybe I'm very uneducated on this, but what exactly is the problem with postgres in its current state? Why do you need rust to make changes easier?

The only justification I see here is this claim and it is nowhere published or verifiable:

"Update: We're working on a new not yet published version of pgrust that currently passes 100% of Postgres regression suite, has a thread per connection model instead of process per connection, is 50% faster than Postgres on transaction workloads, and is ~300x faster than Postgres on analytical workloads (2x slower than Clickhouse on clickbench and we think it can get faster than Clickhouse). Follow pgrust or join our Discord for updates!"

ottavio•1h ago
Again pgrust?

This is going tò look like The Revenge of Zealots...

tosti•12m ago
Right. Previous discussion:

https://news.ycombinator.com/item?id=48841676

Surac•1h ago
for me rust is more cognitive load than c, so you lost at least one to change it from the inside.

Networking and the Internet, from First Principles

https://fazamhd.com/mental-models/networking/
3•faza•7m ago•0 comments

Einstein's relativity rules chemical bonds in heavy elements, new research shows

https://www.brown.edu/news/2026-07-09/chemical-bonds-relativity
292•hhs•14h ago•114 comments

QuadRF can spot drones and see WiFi through my wall

https://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drones-and-see-wifi-through-my-wall/
624•speckx•20h ago•203 comments

Google Search lets creators know more about their reach

https://www.theverge.com/tech/961955/google-search-console-reach-platform-properties
24•herbertl•3d ago•11 comments

Otary – Image and Geometry Python Library Now Has Tutorials

https://alexandrepoupeau.com/otary/learn/
40•poupeaua•3d ago•1 comments

Apple sues OpenAI, accuses ex-employees of stealing trade secrets

https://9to5mac.com/2026/07/10/apple-sues-openai-trade-secret-theft/
1192•stock_toaster•15h ago•623 comments

The mask that compiles to nothing: how HotSpots JIT learned to reason about bits

https://questdb.com/blog/jvm-jit-known-bits/
30•rowbin•5d ago•0 comments

An update on residential proxies and the scraper situation

https://lwn.net/SubscriberLink/1080822/990a8a5e2d379085/
230•chmaynard•16h ago•234 comments

An iroh powered smart fan

https://www.iroh.computer/blog/an-iroh-powered-smart-fan
121•surprisetalk•3d ago•34 comments

SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth

https://www.zdnet.com/home-and-office/networking/spacex-wants-to-launch-100000-more-starlink-sate...
212•CrankyBear•18h ago•701 comments

The vintage beauty of Soviet control rooms (2018)

https://designyoutrust.com/2018/01/vintage-beauty-soviet-control-rooms/
132•mvdtnz•7h ago•46 comments

Good Tools Are Invisible

https://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/
470•theanonymousone•1d ago•216 comments

AI 2040: Plan A

https://ai-2040.com/
297•kschaul•1d ago•307 comments

Late Bronze Age Collapse

https://acoup.blog/2026/01/30/collections-the-late-bronze-age-collapse-a-very-brief-introduction/
382•dmonay•1d ago•266 comments

The tech of 'Terminator 2' – an oral history (2017)

https://vfxblog.com/2017/08/23/the-tech-of-terminator-2-an-oral-history/
226•markus_zhang•19h ago•78 comments

Silent speech with ultrasound

https://alephneuro.com/blog/silent-speech
67•chrwn•3d ago•14 comments

Combustion engine web-based simulator

https://combustionlab.net
186•mytuny•5d ago•68 comments

Inference Optimization for MiMo v2.5: Pushing Hybrid SWA Efficiency to the Limit

https://mimo.xiaomi.com/blog/mimo-v2-5-inference
90•theanonymousone•4d ago•35 comments

After 7 years in production, Scarf has reluctantly moved away from Haskell

https://avi.press/posts/2026-07-10-after-7-years-in-production-scarf-has-reluctantly-moved-away-f...
163•aviaviavi•23h ago•195 comments

Alternate clock designs and time systems

https://serialc.github.io/altClocks/
161•ethanpil•4d ago•84 comments

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
472•scrlk•18h ago•385 comments

Show HN: HTMLDrive – serve HTML files from your Google Drive

https://html-drive.com
5•debamitro•3d ago•3 comments

New York City to ban deceptive subscription practices

https://www.theguardian.com/us-news/2026/jul/10/new-york-city-deceptive-subscriptions-ban
551•randycupertino•18h ago•273 comments

Show HN: Getting GLM 5.2 running on my slow computer

https://github.com/JustVugg/colibri
864•vforno•2d ago•214 comments

A love letter to flashcards

https://lesleylai.info/en/flashcards/
160•surprisetalk•21h ago•98 comments

Snails' teeth beats spider silk as nature's strongest material (2015)

https://www.smithsonianmag.com/smart-news/spider-silk-loses-top-spot-natures-strongest-material-s...
199•simonebrunozzi•19h ago•155 comments

FCC Approves Test of Space Mirror to Light Night Sky Despite Outcry

https://www.nytimes.com/2026/07/10/climate/fcc-space-mirror.html
3•reaperducer•25m ago•0 comments

Computation as a universal and fundamental concept

https://ergo.org/courses/computation-as-a-universal-and-fundamental-concept
140•simonpure•21h ago•100 comments

Lost city discovered beneath Egypt's desert with ancient church

https://www.dailymail.com/sciencetech/article-15956159/Incredible-lost-city-discovered-Egypts-des...
195•Bender•5d ago•156 comments

Moss (YC F25) Is Hiring

https://www.ycombinator.com/companies/moss/jobs/52LnqLQ-software-engineer-sdk
1•srimalireddi•15h ago