frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

https://chatgpt.com/share/6a5fdc7a-d6f8-83e8-bbea-8deb42cfed56
172•gmays•1h ago•71 comments

GigaToken: ~1000x faster Language model tokenization

https://github.com/marcelroed/gigatoken/
92•syrusakbary•1h ago•16 comments

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

https://bento.page/slides/
401•starfallg•3h ago•83 comments

Making

https://beej.us/blog/data/ai-making/
151•erikschoster•3h ago•56 comments

The startup's Postgres survival guide

https://hatchet.run/blog/postgres-survival-guide
198•abelanger•6h ago•99 comments

Nobody knows what a used GPU cluster is worth

https://ciphertalk.substack.com/p/nobody-knows-what-a-used-gpu-cluster
41•rbanffy•1w ago•22 comments

Can a MUD evaluate LLMs? A $99 proof of concept

https://cruciblebench.ai/
54•Davisb135•3h ago•23 comments

Are AI Labs Pelicanmaxxing?

https://dylancastillo.co/posts/pelicanmaxxing.html
29•dcastm•1h ago•5 comments

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

https://unlayer.com
26•adeelraza•2h ago•16 comments

Perlin's Noise Algorithm

https://blog.jaysmito.dev/blog/02-perlins-noise-algorithm/
45•ibobev•3h ago•7 comments

Show HN: HN Hall of Fame – browse 3,100 legendary Hacker News links

https://www.orangecrumbs.com/hall/
136•oyster143•3h ago•32 comments

Mechanical light bulb from 1675 [video]

https://www.youtube.com/watch?v=0Y-9GbsS9Fg
34•kadohg•1w ago•11 comments

10 REM"_(C2SLFF4

https://beej.us/blog/data/mystery-comment/
124•ingve•6h ago•34 comments

"We have information that Moonshot distilled Fable for the development of K3"

https://twitter.com/mkratsios47/status/2079933645888880708
102•softwaredoug•4h ago•212 comments

Airbus Full Scale Foldable Wing Extensions

https://www.airbus.com/en/newsroom/press-releases/2026-07-airbus-launches-new-flight-test-program...
47•r2sk5t•3h ago•39 comments

Show HN: Web swing through midtown NYC

https://www.swingnyc.com/
30•shahahmed•2h ago•13 comments

Introduction to Formal Verification with Lean Part 1

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
205•badcryptobitch•3d ago•40 comments

Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids

https://neoradar.space
39•daviazpen•3h ago•10 comments

Passkeys were invented by engineers with zero understanding of consumer brain

https://twitter.com/nikitabier/status/2079787406300266743
274•ksec•4h ago•345 comments

Ghost Cut – or why Cut and Paste is broken everywhere

https://ishmael.textualize.io/blog/ghost-cut/
56•willm•3h ago•41 comments

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL

https://deepsql.ai/
15•venkat971•2d ago•14 comments

OpenNode – Bitcoin Payment Processor

https://opennode.com/
82•gurjeet•4h ago•68 comments

When Is NVLink Worth It?

https://platform-fools.com/posts/2026-04-27-nvlink/
27•ak_t•4h ago•4 comments

Hologram works. Elixir runs in the browser

https://hologram.page/blog/backing-hologram
58•lawik•3h ago•7 comments

Intel Starts Shipping High-NA EUV Silicon

https://morethanmoore.substack.com/p/intel-starts-shipping-high-na-euv
210•zdw•3d ago•89 comments

Cornell's Interactive Wall of Birds

https://academy.allaboutbirds.org/features/wallofbirds/?_hsmi=428996456
80•yareally•3d ago•30 comments

Original Apollo 11 Guidance Computer source code for command and lunar modules

https://github.com/chrislgarry/Apollo-11
158•noteness•13h ago•49 comments

Most Americans say "not in my backyard" to AI data centers

https://www.redfin.com/news/ai-data-centers-opposition-education-benefit/
92•toomuchtodo•4h ago•189 comments

Which streaming service was that on again

https://www.timwehrle.de/blog/which-streaming-service-was-that-on-again/
21•weetii•3h ago•32 comments

The Music of Destruction

https://thebaffler.com/latest/the-music-of-destruction-fuelling
11•lermontov•1w ago•0 comments
Open in hackernews

Pglocks.org

https://pglocks.org/
80•hnasr•1y ago

Comments

whilenot-dev•1y ago
I'm a bit lost here.

Locking is a challenging problem in complex systems. Is this list to be interpreted as a "TODO: get rid of locking conflicts in future releases" or more a "NOTE: be aware there are known conflicts that will not change - find ways to work around them"?

EDIT: Also, is the creation of this list an automated or a manual effort?

tux3•1y ago
I think this is intended as educational material, not a list of things to fix.

The locks are here by necessity, it is not so easy at all to get rid of them. And even in special cases where it is possible, the complexity you have to introduce is not to be taken lightly...

If even a tenth of these disapppeared, it would be incredible, in a very surprising way.

atombender•1y ago
The creator looks like a developer and teacher, not a Postgres core team member. So I assume this is for documentation purposes.

I actually like this a lot, as there isn't a single place in the Postgres documentation that lists all the possible locks; it's spread out all over. Having a quick reference for what kinds of commands you'd be blocking with your transaction is valuable.

It's pretty evident that the pages have been programmatically generated, but I'd love know what it's generated from. I think you can derive this information from the documentation, but not sure if you can do it in an automated way without an LLM.

braiamp•1y ago
> there isn't a single place in the Postgres documentation that lists all the possible locks

Did you read this page? https://www.postgresql.org/docs/current/explicit-locking.htm...

atombender•1y ago
That's a great page, but it has several issues.

First, it isn't complete; as I said, the locking behaviour is spread out all over the Postgres documentation. For example, that page doesn't list what locks DROP INDEX takes. To find that out, you have to go to the documentation page for that command and read it carefully. In fact, really carefully — the locking behaviour is only documented under the section about CONCURRENTLY.

The page also doesn't list what possible commands are then blocked. Locks interact in subtle (and incorrectly named!) ways that are explained in the tables on that page ("Conflicting lock modes"), so to understand if something will block something else you have to look at the two commands you are curious about and then look at how their locks interact.

gulcin_xata•1y ago
I agree, it is not so straightforward to find out.
braiamp•1y ago
These are database locks, which means that depending which arrives first, the later transaction has to wait till the first one finishes to complete. These locks are about SQL commands and which commands can run concurrently with the others. There's a graph here of how that looks like https://pankrat.github.io/2015/django-migrations-without-dow...

Usually for maximum performance (minimum latency, maximum throughput) you want to have operations not lock each other, unless absolutely necessary, in which case you want them to be short.

whilenot-dev•1y ago
You make it sound like the conflict is just affecting performance and won't result in a deadlock. So it's for performance aware postgres clients/users, and not for postgres developers?
andyferris•1y ago
It is a guide for developers using postgres as a client, who need to write systems that don't deadlock, are performant and are correct. These are the (rather sharp) tools that postgres provides for doing so (or else you can use e.g. serializable isolation and optimistic concurrency, but in my experience that has too many false positives and bail out rather eagerly, whereas these tools let you be very precise and granular).
mebcitto•1y ago
Other relevant talks/blogs that I found really useful for understanding Postgres locks are:

* Unlocking the Postgres Lock Manager by Bruce Momjian: https://momjian.us/main/writings/pgsql/locking.pdf

* Anatomy of table-level locks by Gulcin Yildirim Jelinek: https://xata.io/blog/anatomy-of-locks

pasxizeis•1y ago
Shameless plug: I wrote a tool[1] that executes a given migration against a test database (e.g. in your CI) and reports back what locks it acquired.

The rationale being to have a "lock diagnostics report" commented in your PR's migration file.

It's a prototype and has a few rough edges and missing functionality, but feedback is more than welcome.

[1] https://github.com/agis/pglockanalyze

jononor•1y ago
Very practical! Locking is one of the things that can really bite when doing migrations.