alexpeattie

11 ms·

1.
by alexpeattie 3y ago
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 text of Theorem 7.2 omits for brevity details which are pr
2.
Establishing the minimum number of guesses needed to (always) win Wordle(alexpeattie.com)
3 points by alexpeattie 5y ago|0 comments
3.
by alexpeattie 5y ago
I believe this is the site: https://artickl.com/ And here's a post about it: https://www.reddit.com/r/learnmachinelearning/comments/oa7x3...
4.
by alexpeattie 6y ago
The article has moved here: https://bilal2vec.github.io/blog/algpt2/2020/07/17/ALGPT2-pa...
5.
by alexpeattie 6y ago
The Intergovernmental Panel on Climate Change (IPCC) produces impressive summaries for policymakers in which explain alongside every claim the corresponding level of confidence, the quantity of evidence available, and the level of agreement
6.
by alexpeattie 6y ago
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-api/swagger-co
7.
Losing Chess(en.wikipedia.org)
3 points by alexpeattie 8y ago|0 comments
8.
by alexpeattie 9y ago
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 content creators, so we're after som
9.
by alexpeattie 9y ago
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 content creators, so we're after som
10.
by alexpeattie 9y ago
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 content creators, so we're after som
11.
by alexpeattie 9y ago
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 content creators, so we're after som
12.
by alexpeattie 10y ago
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 is moving so quickly these days
13.
by alexpeattie 11y ago
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/directory -a webroot --webroot-
14.
Building a Let's Encrypt Client from Scratch(github.com)
5 points by alexpeattie 11y ago|0 comments
15.
Show HN: A searchable, crowdsourced list of 1k+ investors(investorlist.co)
3 points by alexpeattie 11y ago|0 comments
16.
by alexpeattie 11y ago
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 has managed to optimize things a bit? Or, our search is over
17.
by alexpeattie 11y ago
There's nothing stopping you indexing multiple columns with different dictionaries either :). And indexing works beautifully with multiple weighted columns. The related records point is true though - indexes don't help if you&#x27
18.
by alexpeattie 11y ago
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 given an unfairly bad rap though. I'm not sure that &quo
19.
by alexpeattie 11y ago
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 more thoughtful than the abstract might suggest.
20.
by alexpeattie 11y ago
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 very specific response to be served from a specifi
21.
by alexpeattie 11y ago
Yep, the assets don't ship with the codebase - you need to provide your own original AoE II (or AoE II HD) installation.
22.
Show HN: Facebook's “Celebrate Pride” tool recreated with JavaScript and canvas(github.com)
11 points by alexpeattie 11y ago|0 comments
23.
by alexpeattie 14y ago
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 being closer to median life span - so an overstated number of ce
24.
by alexpeattie 14y ago
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.
25.
'Non-Confusing Slider Toggle UI' implemented in JS(github.com)
2 points by alexpeattie 14y ago|1 comments
26.
by alexpeattie 14y ago
I think it should be: http://joeyh.name/blog/entry/ls:_the_missing_options/
27.
by alexpeattie 15y ago
Mirror: http://www.alexpeattie.com/nyan-3d/ (Couldn't find one elsewhere, so uploaded files from this repo: https://github.com/canuckistani/Nyan-3D-Firefox-fix )
28.
by alexpeattie 15y ago
Here's a (not terrific) picture of this in action: http://www.eurekalert.org/multimedia/pub/38262.php?from=1992... Hihger res: http://media.gizmodo.co.uk/wp-content/uploads/2011/11/Carbon...
29.
Working with dates in Git(alexpeattie.com)
6 points by alexpeattie 16y ago|0 comments
30.
by alexpeattie 16y ago
It does, but as catshirt says, that's probably reasonable. Especially as jQuery assumes a browser (and relies on the window namespace) too - so it wouldn't be suitable for a browserless environment anyway...

More ›