Tony Finch's link log

• May 26th, 2019, 04:43 pm

Button placement and order in web forms and dialogs.

https://medium.com/@GreatUX/buttons-placement-and-order-bb1c4abadfcb

https://dotat.at/:/598PH.html

Button placement and order in web forms and dialogs.

• May 26th, 2019, 08:52 pm

Giving Haskell a promotion.

http://dreixel.net/research/pdf/ghp.pdf

https://dotat.at/:/9YBYR.html

Giving Haskell a promotion.

• May 26th, 2019, 02:28 pm

Thinking with Types: type-level programming in Haskell.

https://thinkingwithtypes.com/

https://dotat.at/:/PZEX4.html

Thinking with Types: type-level programming in Haskell.

• May 26th, 2019, 02:25 pm

Higher-order type-level programming in Haskell.

https://www.microsoft.com/en-us/research/uploads/prod/2019/03/ho-haskell.pdf

https://dotat.at/:/VXA8J.html

Higher-order type-level programming in Haskell.

• May 26th, 2019, 02:49 pm

What the Royal Astronomical Society in 1884 tells us about Python time handling bugs.

https://typesandtimes.net/2019/05/royal-astronomical-society-python

https://dotat.at/:/5BPLP.html

What the Royal Astronomical Society in 1884 tells us about Python time handling bugs.

• May 26th, 2019, 12:25 pm

Is SpaceX's Raptor the king of rocket engines?

https://everydayastronaut.com/raptor-engine/

https://dotat.at/:/949C6.html

Is SpaceX's Raptor the king of rocket engines?

• May 26th, 2019, 01:10 pm

Self-distancing: what it is and how you can use it to make better decisions.

https://effectiviology.com/self-distancing-rational-decisions/

https://dotat.at/:/CQ5W5.html

Self-distancing: what it is and how you can use it to make better decisions.

• May 25th, 2019, 08:07 pm

CSS rules that will make your life easier.

https://medium.freecodecamp.org/css-rules-to-live-by-962a051e1eb2

https://dotat.at/:/AALZ6.html

CSS rules that will make your life easier.

• May 25th, 2019, 01:27 pm

The lingua franca of LaTeX.

https://increment.com/open-source/the-lingua-franca-of-latex/

https://dotat.at/:/WN8D3.html

The lingua franca of LaTeX.

• May 25th, 2019, 12:37 pm

MIDI 2.0, MIDI-CI, profiles, and property exchange.

https://www.midi.org/articles-old/details-about-midi-2-0-midi-ci-profiles-and-property-exchange

https://dotat.at/:/EGJJ3.html

MIDI 2.0, MIDI-CI, profiles, and property exchange.