bmc7505

51 ms·

331.
The Deep Learning Compiler: A Comprehensive Survey(arxiv.org)
2 points by bmc7505 7y ago|0 comments
332.
TornadoVM: Exploiting High-Performance Hetrogeneous Execution of Java Programs(fosdem.org)
4 points by bmc7505 7y ago|0 comments
333.
Owl: Motion planning algorithms with demos for various state-spaces(github.com)
9 points by bmc7505 7y ago|0 comments
334.
Tensors and Neural Networks in Haskell(github.com)
3 points by bmc7505 7y ago|0 comments
335.
by bmc7505 7y ago
> you can't have linear types on the JVM Why can't you have linear types on the JVM?
336.
A Simple Differentiable Programming Language(arxiv.org)
2 points by bmc7505 7y ago|0 comments
337.
by bmc7505 7y ago
You raise some good points about the API readability and discoverability. For identifiers that the user is likely to write often, ASCII and standard naming conventions are usually preferable. While auto-completion is capable of handling uni
338.
by bmc7505 7y ago
Re: Typography. Good to know. We might drop the nabla and stick to ASCII in future references. Re: Trademark. Might be an issue. I’ve checked with the Kotlin team and they are looking into it.
339.
by bmc7505 7y ago
Possibly! In the mean time, there are already some Torch bindings for Kotlin/Native: https://github.com/JetBrains/kotlin-native/tree/master/sampl... If you’re more interested in the type-safety, you
340.
by bmc7505 7y ago
Author here, thank you for your kind remarks! You’re right, the backticks surrounding our type level integers are too distracting. The Kotlin grammar [1] requires class names must either start with a letter, or be enclosed by back-ticks. Un
341.
by bmc7505 7y ago
Thanks for checking out our project! Completely understand where you're coming from, I also struggled with imagining how differentiable programs could work, after all, computer programs implement discrete functions! When building it, I
342.
by bmc7505 7y ago
This is good to know. We had not previously considered the trademark aspect, but will investigate further. While the name is shared with a geographic location and various other projects use a similar naming convention (e.g. Stalin∇, ∇SLAM),
343.
by bmc7505 7y ago
Hello HN, author here! Been working on this DSL for differentiable programming for a while now. The API is starting to stabilize and it would be great to collect feedback from real users. You can find some toy examples, including the core o
344.
Kotlingrad: A shape-safe DSL for differentiable programming(github.com)
76 points by bmc7505 7y ago|17 comments
345.
by bmc7505 7y ago
If you're interested in these kinds of features but aren't up to learning Haskell, we've been writing a DSL for type-safe array programming in a language called Kotlin. It is possible to express certain type-level operations
346.
by bmc7505 7y ago
> without basic spam filtering, something like Twitter would be absolutely unusable in the face of endless crypto and malware spam I don't understand this argument at all. Is it so difficult for users to curate the list of accounts
347.
Publish or impoverish: Analyzing the monetary reward system of science in China [pdf](arxiv.org)
1 points by bmc7505 7y ago|0 comments
348.
by bmc7505 7y ago
> A quick glance at the documentation didn't mention it What do you mean? It is the very first sentence of the documentation: "results are returned in arbitrary order" https://docs.python.org/2/library
349.
by bmc7505 7y ago
Not sure if this is the case, but I'd like to play devils advocate. While most venues are double blind, it is still possible there is a subconscious gender bias. Many studies have shown that gender can be readily detected from anonymiz
350.
Deep Learning from a Perspective of Computer Science(bonotake.github.io)
2 points by bmc7505 7y ago|0 comments
351.
by bmc7505 7y ago
https://www.shortscience.org/
352.
by bmc7505 7y ago
Are there any 802.11ax (Wi-Fi 6) compliant OpenWrt routers on the market today?
353.
by bmc7505 7y ago
It is possible to do backprop with integers: https://arxiv.org/abs/1802.04680
354.
The Hedonic Treadmill(en.wikipedia.org)
78 points by bmc7505 7y ago|39 comments
355.
Synthesizing Datalog Programs Using Numerical Relaxation(arxiv.org)
2 points by bmc7505 7y ago|0 comments
356.
by bmc7505 8y ago
You should check out ShortScience, which is (IMHO) a better format for academic discussions: https://www.shortscience.org/
357.
by bmc7505 8y ago
https://en.wikipedia.org/wiki/Cobra_effect
358.
What is differentiable programming?(fluxml.ai)
4 points by bmc7505 8y ago|0 comments
359.
Kotlin𝛁: Differentiable Functional Programming with Algebraic Data Types(github.com)
1 points by bmc7505 8y ago|0 comments
360.
Operational Calculus for Differentiable Programming(arxiv.org)
64 points by bmc7505 8y ago|9 comments

More ›