Tony Finch's link log

• September 23rd, 2018, 12:37 am

Common cyborg.

https://granta.com/common-cyborg/

https://dotat.at/:/DY3VA.html

Common cyborg.

• September 22nd, 2018, 04:22 pm

A mathematical pattern that fails after about 10^43 examples.

https://johncarlosbaez.wordpress.com/2018/09/20/patterns-that-eventually-fail/

https://dotat.at/:/8YEYC.html

A mathematical pattern that fails after about 10^43 examples.

• September 22nd, 2018, 12:41 pm

How the GNU coreutils are tested.

http://www.pixelbeat.org/docs/coreutils-testing.html

https://dotat.at/:/DG624.html

How the GNU coreutils are tested.

• September 21st, 2018, 08:18 pm

NewSQL database systems are failing to guarantee consistency, and Google Spanner is to blame.

http://dbmsmusings.blogspot.com/2018/09/newsql-database-systems-are-failing-to.html

https://dotat.at/:/4XGXM.html

NewSQL database systems are failing to guarantee consistency, and Google Spanner is to blame.

• September 21st, 2018, 07:43 pm

Writing documentation when you aren't a technical writer.

https://blog.stoplight.io/writing-documentation-when-you-arent-a-technical-writer-part-two-59997587cc2a

https://dotat.at/:/FFQC5.html

Writing documentation when you aren't a technical writer.

• September 21st, 2018, 08:18 am

The Open Graph protocol: web page metadata for Facebook.

http://ogp.me/

https://dotat.at/:/R3EPN.html

The Open Graph protocol: web page metadata for Facebook.

• September 21st, 2018, 12:43 pm

Pallene: A statically typed companion language for Lua.

http://www.inf.puc-rio.br/~roberto/docs/pallene-sblp.pdf

https://dotat.at/:/NFTF9.html

Pallene: A statically typed companion language for Lua.

• September 21st, 2018, 09:56 am

Core Coroutines: making C++ coroutines simpler, faster, and more general.

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1063r0.pdf

https://dotat.at/:/RA6RY.html

Core Coroutines: making C++ coroutines simpler, faster, and more general.

• September 21st, 2018, 08:17 am

How to create a Twitter card.

https://davidwalsh.name/twitter-cards

https://dotat.at/:/DQR7L.html

How to create a Twitter card.

• September 21st, 2018, 08:19 am

Whatever happened to the semantic web?

https://twobithistory.org/2018/05/27/semantic-web.html

https://dotat.at/:/B9AC8.html

Whatever happened to the semantic web?