Tony Finch's link log

• October 17th, 2019, 10:53 am

No-one knows the type of char + char.

https://blog.knatten.org/2019/05/24/no-one-knows-the-type-of-char-char/

https://dotat.at/:/AC4QD.html

No-one knows the type of char + char.

• October 17th, 2019, 11:44 am

Nondeterministic collations in PostgreSQL 12.

https://postgresql.verite.pro/blog/2019/10/14/nondeterministic-collations.html

https://dotat.at/:/VGEP3.html

Nondeterministic collations in PostgreSQL 12.

• October 16th, 2019, 08:50 pm

I hate Xlib and so should you.

https://www.remlab.net/op/xlib.shtml

https://dotat.at/:/L7TW7.html

I hate Xlib and so should you.

• October 16th, 2019, 09:29 pm

I hate the X11 ICCCM selection system, and you should too.

http://www.call-with-current-continuation.org/rants/icccm.txt

https://dotat.at/:/JQXX7.html

I hate the X11 ICCCM selection system, and you should too.

• October 16th, 2019, 08:17 pm

Beating C with an 80 line `wc` in Haskell.

https://chrispenner.ca/posts/wc

https://dotat.at/:/E6ER6.html

Beating C with an 80 line `wc` in Haskell.

• October 16th, 2019, 04:38 pm

Google can't fix the Android update problem.

https://www.theverge.com/2019/9/4/20847758/google-android-update-problem-pie-q-treble-mainline

https://dotat.at/:/B9JTV.html

Google can't fix the Android update problem.

• October 16th, 2019, 03:14 pm

Bloody story of Java and embedded databases in RIPE's RPKI validator.

https://ripe79.ripe.net/presentations/65-RPKI-Validator-3-story.pdf

https://dotat.at/:/TG5GW.html

Bloody story of Java and embedded databases in RIPE's RPKI validator.

• October 15th, 2019, 09:47 pm

DNS security: threat modeling DNSSEC, DoT, and DoH.

https://www.netmeister.org/blog/doh-dot-dnssec.html

https://dotat.at/:/HWF4P.html

DNS security: threat modeling DNSSEC, DoT, and DoH.

• October 15th, 2019, 07:57 pm

Notes on porting from Oracle to PostgreSQL.

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

https://dotat.at/:/FTT2P.html

Notes on porting from Oracle to PostgreSQL.

• October 15th, 2019, 07:35 pm

Firefox privacy how-to guide.

https://restoreprivacy.com/firefox-privacy/

https://dotat.at/:/F3XVF.html

Firefox privacy how-to guide.