robertsdionne

7 ms·

31.
by robertsdionne 4y ago
notepad dot electron
32.
by robertsdionne 4y ago
Does TLA+ support double-primed variables? Like second-derivative sort of thing.
33.
by robertsdionne 4y ago
I have a recurring dream where the university revokes my diploma years after graduating because I actually somehow dropped out of all my classes and forgot to finish the final projects/exams. That never happened, but I did drop a coupl
34.
by robertsdionne 4y ago
"The SSD storage engine stores the data in a B-tree based on SQLite." XD https://apple.github.io/foundationdb/architecture.html#stora...
35.
by robertsdionne 4y ago
Also, Learned Indexes Structures: The Case for Learned Index Structures: https://arxiv.org/abs/1712.01208 Learned Indexes for a Google-scale Disk-based Database: https://arxiv.org/abs/2012.12501 A
36.
by robertsdionne 4y ago
Seems to me to be quite similar to the virtual pages in Bw-Trees: https://www.microsoft.com/en-us/research/publication/the-bw-...
37.
by robertsdionne 4y ago
Posit numbers (a better floating point representation): https://www.johndcook.com/blog/2018/04/11/anatomy-of-a-posit... https://www.johngustafson.net/pdfs/BeatingFloatingPoint.pdf
38.
by robertsdionne 4y ago
You can use the pg_trgm extension.
39.
by robertsdionne 4y ago
via https://rakyll.org/generics-facilititators/ Example: https://go.dev/play/p/as3rT4fB3cn // Invocation: strings := []string{"1", "2", "3"}
40.
by robertsdionne 5y ago
https://en.wikipedia.org/wiki/Universal_approximation_theore...
41.
by robertsdionne 5y ago
https://earth.nullschool.net/
42.
by robertsdionne 6y ago
Merkel Search Trees are like B-Trees, as described in https://hal.inria.fr/hal-02303490/document , since internal nodes can store values. Whereas Noms Prolly-Trees are like B+Trees, since all values are stored in the le
43.
by robertsdionne 6y ago
https://db.cs.cmu.edu/seminar2020/
44.
by robertsdionne 6y ago
You can have tiny roundabouts: https://www.google.com/maps/@32.2437203,-110.9539392,84m/dat... This one is also a 4-way, haha.
45.
by robertsdionne 9y ago
Maybe like https://pathak22.github.io/noreward-rl/