chewxy

35 ms·

331.
by chewxy 8y ago
Scott encoding even has a weirder implications (if you're not used to it) if you think about it 0 ≡ λf.λx.x 1 ≡ λf.λx.x (λf.λx.x) 2 ≡ λf.λx.x (λf.λx.x (λf.λx.x)) Or if you allow meta variables in your expression:
332.
by chewxy 8y ago
Slightly related are Go examples - they're tests, and documentation at the same time. It'd be nice if someone hooks in a listener to automatically collect examples tho
333.
by chewxy 8y ago
Do you mean syntax? Because if layout, then Gorgonia's tensors are actually flat dense layouts controlled by an access pattern. Gorgonia supports fortran layout as well as C layout. Syntax is a bit painful though.
334.
by chewxy 8y ago
A bunch of us are trying to change that and make Go the lingua franca for data science and machine learning! The libraries du jour are Gonum ( https://gonum.org ), a numpy/scipy equiv for Go, and Gorgonia ( https://
335.
by chewxy 8y ago
So a variant of spiking neural networks?
336.
by chewxy 8y ago
My copy of Barendregt is well thumbed. But that Zuse and Annotated Turing sounds interesting. Thanks
337.
Ask HN: Good books on computation
5 points by chewxy 8y ago|3 comments
338.
by chewxy 8y ago
Can I plug the library that I've been slowly working on (with the help of the Go community): gorgonia - https://gorgonia.org/ It's like TensorFlow and PyTorch had a bastard child. Pure Go. Train your NN like you w
339.
by chewxy 8y ago
Kierkegaard has been dead for 200 years....
340.
by chewxy 8y ago
They do by weight.
341.
by chewxy 8y ago
Statically typed? As in Go? I invite you to work on Gorgonia ( https://github.com/gorgonia/gorgonia ). It's written in Go, and neural networks written with Gorgonia has a decent type system ( https://githu
342.
by chewxy 8y ago
except if my memory serves, it was Paul who was sleeping in a pile of dirty socks and Bill barged into the room saying that. Then the scene cuts to New Mexico
343.
AI Governance: A Research Agenda [pdf](fhi.ox.ac.uk)
3 points by chewxy 8y ago|0 comments
344.
by chewxy 8y ago
I use post-it notes. My post-it notes underlines the sentence involved generally. Sometimes when re-reading books, I find old opinions or understandings that are no longer correct or opinions I no longer hold. The downside is that my books
345.
by chewxy 8y ago
go get llvm.org/llvm/bindings/go/llvm I'm actually using it for some things
346.
by chewxy 8y ago
> Lambda calculus doesn't have a concept of its own expressions being data manipulated by lambda calculus. There is no quote operator in lambda calculus. McCarthy himself noted this about Lambda Calculus and came up with EVAL. In fa
347.
by chewxy 8y ago
from time to time I wonder about the cost benefit of using an eGPU vs just sshfs+EC2's G2xLarge and I don't think there's ever been a time in the past year where it was more worth it to have an eGPU to do ML dev work.
348.
by chewxy 8y ago
There's earlier, non computer game precedence in To Mock a Mockingbird, which I feel is similar in spirit. Nice find OP
349.
Political Moderates Are Lying(quillette.com)
1 points by chewxy 8y ago|0 comments
350.
by chewxy 8y ago
"laki" means man in Malay, but is a synonym for "suami" (husband) in Indon. I assume "lelaki" slipped into Indon lingo after a while (if you read old Malay books, before the 1960s, the word "laki-laki&quot
351.
by chewxy 8y ago
Dewan Bahasa Dan Pustaka. They have an awesome library in KL. I once spent a day in there when I was far younger than I am today. Ask for their reference section for the language. Do note that modern BM doesn't have very many markers f
352.
by chewxy 8y ago
Anyone interested in conlangs would do well to study Malay. It is not a constructed language per se, but modern standard Malay (Bahasa baku) underwent a massively interesting standardization phase in the 60s which resulted in a fairly consi
353.
by chewxy 8y ago
Nah, Brits use "You ok?" or "Alright?" as a greeting. :P
354.
by chewxy 8y ago
I think the next release will have the midstack inlining feature (which has been previewed since Go 1.9)
355.
by chewxy 8y ago
There's always Go - Gorgonia[0] aims to be a Tensorflow/PyTorch replacement. Performance is somewhat comparable (somewhat because it's always in flux as I keep updating it). Heck, it even uses hindley milner type inferences (
356.
by chewxy 8y ago
Here's a cheaper and faster hack: soft tube + weighted end. The weighted end will tend to go towards where the liquids are. Imagine a bottle being held lengthwise. The weighted end will be in the same location as where the liquid is. T
357.
by chewxy 8y ago
I am... I'm working on Gorgonia[0]. My goal this year is to provide a good alternative to Tensorflow and PyTorch. At the same time I'm working on several side projects that I believe will cause the fruition of an AGI. I'm luc
358.
A new fast hash table in response to Google’s new fast hash table(probablydance.com)
390 points by chewxy 8y ago|115 comments
359.
You Don't Have a Right to Believe Whatever You Want To(aeon.co)
2 points by chewxy 8y ago|1 comments
360.
by chewxy 8y ago
Quite sure I read a paper about graph/code sharing in functional languages and why it's harder than expected. The one paper I didn't save and catalogue... is the one I want to refer to

More ›