chewxy

38 ms·

301.
by chewxy 7y ago
Would a flat page listing the key tenets with correct headers be so painful to create? Why do I have to click into each of these headers? Something something the presumption to reducing friction something something thoughtful interaction.
302.
by chewxy 7y ago
Kinda nice to see Wang B machines and W machines being mentioned :)
303.
by chewxy 8y ago
So can I now watch Netflix on incognito?
304.
by chewxy 8y ago
Aha! So I wasn't crazy that Twitter was changing back to their algorithmic feed every so often
305.
by chewxy 8y ago
> Neurotypicals have a hard time with this kind of contradiction ... Wat. The problem with Jupyter notebooks and version control is that Jupyter notebooks encapsulate temporality. You see this in the little [N] boxes on the left of each
306.
by chewxy 8y ago
I tried scaling the task of #2 across multiple people recently. It took way longer than had I personally done it myself. I want to know if there is a way to spread the load for this.
307.
by chewxy 8y ago
Not related to TF, but the upcoming version of Gorgonia has a solution for that - we basically developed a calculus for dimensionality of data. Gorgonia is deep learning in Go, and is well typed as far as I can tell. Work on the coq program
308.
by chewxy 8y ago
And once we hit that limit we can still go further, by rethinking the way we program such that program applications are reversible. Hence I'm not too worried
309.
The Incredible Proof Machine (2016)(incredible.pm)
79 points by chewxy 8y ago|16 comments
310.
by chewxy 8y ago
Thanks to this post, I went back to see if my oldest large Go project was working: https://asciinema.org/a/cJosP51z0oScKPLmVUhyNKUOj 9 years later, still works.
311.
by chewxy 8y ago
funny thing I wrote this on the morning commute to work - https://twitter.com/chewxy/status/1105962162021756928 Not that I'm saying that Go should not have functional features - it does, but it also forces yo
312.
by chewxy 8y ago
> Readability. I always found the Go code I encountered quite easy to read and understand, both our code and external code. Some of the C++ I encountered, in contrast, took hours to fully comprehend. Go also forced me to write readable c
313.
by chewxy 8y ago
embrace, extend, extinguish?
314.
by chewxy 8y ago
Hmm. Weird. Almost my entire data science pipeline is in Go.
315.
by chewxy 8y ago
Out of curiosity, what is stopping screen makers from making the entirety of the colour space as defined by the CIE chromaticity diagram its gamut? Is there some fundamental limitation of liquid crystals? I understand for example, CRTs requ
316.
by chewxy 8y ago
yeah, it took me a while to realize you were trying to go for something more lisp than λ-calculus.
317.
by chewxy 8y ago
In general, I like it. I think the syntax is a bit messy though. λx.x is much cleaner than {lambda {x} x} Don't want to use λ? Consider \x.x For your special cases of multiple args, consider λx,y,z.(x z
318.
by chewxy 8y ago
The ever war loving American government will attempt to declare war on aliens instead. Leading to more weapons manufacture, leading to more anthropocentric climate change.
319.
by chewxy 8y ago
The irony is that Lindy's itself dosen't follow Lindy's Law (am aware that the actual effect is about comedians bookings).
320.
by chewxy 8y ago
A programming language is a translation scheme. If you know your scheme upfront, it's trivial to translate. C-like languages are easier to translate to binaries because well, C is glorified assembly. The analysis parts may take longer,
321.
by chewxy 8y ago
If you're interested in a Go version of the AlphaGo algorithm, I wrote one: http://github.com/gorgonia/agogo :)
322.
by chewxy 8y ago
oh is that what it was? I've had that many many times in recent days
323.
by chewxy 8y ago
I've been working on my own open source projects (the Gorgonia family of deep learning packages for Go[0]). Competing with TensorFlow and PyTorch is hard and I'm quite sure, unsustainable. When the project started, Gorgonia had dy
324.
by chewxy 8y ago
I work on a number of Go projects. This is one that lasted me for close to a decade now: function workspace_cd() { cd $@ && [ -f ".bashworkspace" ] && source .bashworkspace } alias wscd="
325.
by chewxy 8y ago
There's Gorgonia too! :)
326.
by chewxy 8y ago
https://en.wikipedia.org/wiki/Earl_of_Sandwich
327.
by chewxy 8y ago
First game is cheap :P Subsequent games are expensive because scaling becomes an issue
328.
by chewxy 8y ago
How does one preserve these for posterity? I realized this when I was re-reading Grant Morrison's Superman Beyond - I had lost the 3D glasses that came with the book. Newer printings did away with the anaglyphic panels, and the impact
329.
by chewxy 8y ago
You mean lambda calculus? Or peano? For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).
330.
by chewxy 8y ago
By evaluation? Evaluate Succ 2 such that the result is normal. then you may compare term equality

More ›