frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Local Wikipedia: Wikipedia, but only for things a half hour walk from you

https://edjefferson.com/localwiki/
66•sohkamyung•7h ago•12 comments

Docker is weird

https://codeandcake.dev/posts/2026-10-22-docker-is-weird
358•psxuaw•7h ago•178 comments

LLMs are making formal software verification feasible at a much larger scale

https://www.anthropic.com/research/formal-verification
279•johnbender•7h ago•154 comments

This I Believe (1952)

https://www.awakin.org/v2/read/view.php?tid=468
55•ctoth•4h ago•12 comments

OpenShell – A safe, private runtime for fleets of autonomous AI agents

https://github.com/NVIDIA/OpenShell
364•niemandhier•13h ago•187 comments

The foolishness of "natural language programming" (1978)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667.html
112•xiaoyu2006•6h ago•70 comments

How does Fable 5.1 hide messages in images?

https://www.lesswrong.com/posts/WHEQps5PK8LrrcTAb/how-does-fable-5-1-hide-messages-in-images
9•gmays•9h ago•1 comments

Every AI model has the same "controversial" take on humans

https://www.modelcompare.ai/blog/ai-models-controversial-take-on-humans
348•rakannimer•14h ago•377 comments

The alien space of science: Coherent but cognitively unavailable directions

https://arxiv.org/abs/2603.01092
17•martincsweiss•17h ago•2 comments

Run full iOS 16.5 firmware on Android Devices

https://github.com/oosexgang/hackios-xnu-kernel
393•aghuang•15h ago•137 comments

Jank – The native Clojure dialect with seamless C++ interop

https://jank-lang.org/
70•giancarlostoro•6h ago•4 comments

We have traits at home

https://www.axelmagn.com/blog/202610-zig-traits/
8•Ygg2•7h ago•0 comments

The HTML-in-Canvas API origin trial

https://developer.chrome.com/blog/html-in-canvas-origin-trial
13•andrewstuart•10h ago•2 comments

Getting ready to operate GNU Taler in Germany

https://www.taler.net/en/news/2026-13.html
257•dewey•14h ago•104 comments

Quad9 to exit France

https://quad9.net/news/blog/au-revoir-france/
1128•farrokhi•16h ago•389 comments

WorldTUI: I trained a 360M model to pretend to be a terminal

https://simedw.com/2026/10/21/world-model-terminal/
523•alphax314•1d ago•164 comments

Color Names

https://names.color.pizza
49•akkartik•2d ago•6 comments

Tell HN: I unknowingly broke the PHP RCE embargo. I am sorry.

489•petecooper•20h ago•199 comments

A lost Schrödinger manuscript reveals a twist in quantum physics

https://www.sciencealert.com/a-lost-schrdinger-manuscript-reveals-a-surprising-twist-in-quantum-p...
22•ibobev•23h ago•5 comments

Objects, attributes, maps, oh my

https://bernsteinbear.com/blog/object-shapes/
9•ibobev•14h ago•0 comments

Postgres recovery_prefetch can cause outages

https://ardentperf.com/2026/10/20/postgres-recovery_prefetch-considered-harmful-and-causing-outages/
33•plaur782•1d ago•0 comments

Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key

https://github.com/dsmurrell/onkey
14•dsmurrell•16h ago•7 comments

Why my Asus laptop kept rebooting after sleep and how to fix it

https://idiallo.com/blog/asus-laptop-keeps-rebooting-after-sleep
35•surprisetalk•2d ago•28 comments

Xbox wants you to pay 24 to 40 cents per hour to stream games you bought

https://arstechnica.com/gaming/2026/10/xbox-wants-you-to-pay-24-to-40-cents-per-hour-to-stream-ga...
276•entryleveljobsc•19h ago•241 comments

eMudhra to exit global SSL/TLS certificate business

https://emudhra.com/en/press-release/emudhra-to-exit-global-ssl-tls-certificate-business
1008•bo0tzz•17h ago•668 comments

How to Design Flowers

https://www.asimov.press/p/flowers
38•surprisetalk•2d ago•2 comments

Hedra is a 3D open world game I wrote from scratch while in highschool

https://github.com/maxilevi/project-hedra/tree/pre-ai
177•maxilevi•12h ago•31 comments

Mortality Among People with Attention-Deficit/Hyperactivity Disorder

https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2855472
92•gumby•2d ago•55 comments

Railpass

https://train.samismith.com/
88•CharlesW•9h ago•23 comments

Rule 30: one black cell

https://www.wolframcollatzmahler.com/rule30/index.html
5•amichail•8h 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.