Viewing profile — alexpeattie

The proof text is separate. Currently it's up to humans to ensure the proof text (written in LaTeX) properly matches the Lean proof. Indeed, you can see in the article that the tex…

I believe this is the site: https://artickl.com/ And here's a post about it: https://www.reddit.com/r/learnmachinelearning/comments/oa7x3...

The article has moved here: https://bilal2vec.github.io/blog/algpt2/2020/07/17/ALGPT2-pa...

The Intergovernmental Panel on Climate Change (IPCC) produces impressive summaries for policymakers in which explain alongside every claim the corresponding level of confidence, th…

Personally, for building a client library I'd take a look at OpenAPI Generator ( https://github.com/openapitools/openapi-generator ) or Swagger Codegen ( https://github.com/swagger…

Peg | Full Stack Developer | London | ONSITE | fulltime | https://peg.co/hiring | £45k-£55k + equity We're on a mission to shift $1BN in advertising budgets towards independent con…

Peg | Full Stack Developer | London | ONSITE | fulltime | https://peg.co/hiring | £35k-£55k + equity We're on a mission to shift $1BN in advertising budgets towards independent con…

Peg | Full Stack Developer | London | ONSITE | fulltime | https://peg.co/hiring | £35k-£55k + equity We're on a mission to shift $1BN in advertising budgets towards independent con…

Peg | Full Stack Developer | London | ONSITE | fulltime | https://peg.co/hiring | £35k-£55k + equity We're on a mission to shift $1BN in advertising budgets towards independent con…

It's much more niche-specific than most of the other suggestions, but I've been enjoying This Week in Machine Learning & AI ( https://twimlai.com/ ). It feels like the field of ML …

You can create a more hardened setup by using a 4096 bit RSA key: /opt/letsencrypt/letsencrypt-auto certonly --rsa-key-size 4096 --server https://acme-v01.api.letsencrypt.org/direc…

Ah ok, interesting :). We were weighing up exactly these kind of tradeoffs a few weeks ago, and the benchmarks we did put the 2 approaches more or less neck and neck, so maybe PG h…

There's nothing stopping you indexing multiple columns with different dictionaries either :). And indexing works beautifully with multiple weighted columns. The related records poi…

I thought this was a great article, and trigram indexes are definitely an amazing tool to have in the arsenal. I think PostgreSQL fulltext search (with tsvector, tsquery etc.) is g…

I guess competent is meant to be shorthand for "likely to get a Pull Request merged" - I agree that competent is a overextension of that, and very subjective. The actual study is m…

Yes, although the subdomains still point to deviantart's servers. The difference here is that ad.example.com ends up pointing to the attacker's server. Because LetsEncrypt needs a …

Yep, the assets don't ship with the codebase - you need to provide your own original AoE II (or AoE II HD) installation.

It's true that the 'undead' wouldn't skew the mean life span much. But given the way life expectancy is calculated ( http://en.wikipedia.org/wiki/Life_expectancy ), it ends up bein…

Pretty cool. The full source code's on Github as well: https://github.com/mitallast/diablo-js The code's not commented very heavily, but it's pretty readable nonetheless.