Recent submissions

Comment · 1 year ago
Comment · 1 year ago
Couple it with a generalized right to repair: source code is what's needed in order to be able to repair the software that you use. If beyond the support period or the copyright term (whichever is least), the materials needed to repair the product must be released.
Comment · 1 year ago
Isn't the solution to have much shorter copyright terms? Software could be closed source at first, its implementation costs recouped, then opened by default when its copyright term lapses. New releases could still be closed, so income could continue. Set the term at 5-10 years, rather than >70.
Comment · 3 years ago
This is precisely the question answered by the OP. The answer is, "because there is a whole spectrum of things you might mean by 'diversity', of which 'number of distinct species' is only one extremum".
Comment · 3 years ago
Comment · 3 years ago
Metric spaces are enriched categories. They are enriched over the positive reals. The 'hom' between a pair of points is then simply a number: their distance.
Comment · 3 years ago
Sadly, it's mostly nonsense. It first tells you to travel in the wrong direction, then go back on yourself, then take a route that doesn't exist (Green Park to Westminster on Victoria, in 2 stops, when it would only take 1 on the Jubilee)...
Comment · 5 years ago
What are the inputs and byproducts of the manufacturing process for your proprietary sorbent, and what are their environmental impacts, if any?
Comment · 5 years ago
The paper (arxiv:2103.04689) linked by eutropia above has some empirical evidence on the ML side, showing that performance of predictive coding is not so far off backprop. And there is no shortage of suggestions for how neural circuits might work around the strict requirements of backprop-like algorithms.

cs702's original comment above is excessively hyperbolic: the compositional structure of Bayesian inversion is well known and is known to coincide structurally with the backward/forward structure of automatic differentiation. And there have been many papers before this one showing how predictive coding approximates backprop in other cases, so it is no surprise that it can do so on graphs, too. I agree with the ICLR reviewers that this paper is borderline and not in itself a major contribution. But that does not mean that this whole endeavour, of trying to find explicit mathematical connections between biological and artificial learning, is ill motivated.

Comment · 7 years ago
It sounds like you would be interested in the book / course '7 Sketches in Compositionality' by David Spivak and Brendan Fong, which studies precisely those ideas categorically, with a particular focus on systems that you might broadly call 'computational': http://math.mit.edu/~dspivak/teaching/sp18/

It has been discussed on Hacker News at least a couple of times previously -- fairly recently, even. You might be interested to look at these discussions:

https://news.ycombinator.com/item?id=20376325

https://news.ycombinator.com/item?id=19701767

Edit to add:

You might also be interested to learn that categorical approaches to linguistics typically take as their starting point monoidal categories, in which there are notions of 'parallel' as well as 'sequential' composition. It turns out that the usual categorical semantics for linguistics shares a lot with the categorical semantics for quantum mechanics: roughly, meanings are vectors, like quantum states. You can read more about doing (finite-dimensional) quantum mechanics entirely using string diagrams (the formal diagrammatic calculus of monoidal categories) in the work of Bob Coecke, who also played a large part in originating these approaches to linguistics.

For example, on the quantum side, an excellent book is 'Picturing Quantum Processes' [0]. And on the linguistics side, the paper linked in the article is a good start: https://arxiv.org/abs/1003.4394

[0] Not freely available, but some slides are at https://www.cs.ox.ac.uk/ss2014/programme/Bob.pdf

Edit, again:

There is also of course Bartosz Milewski's book / blog series 'Category Theory for Programmers', which introduces category theory from the perspective of Haskell and C++ programming: https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

But the best introduction to category theory I have read is Leinster's book, 'Basic Category Theory': https://arxiv.org/abs/1612.09375

And as you might have guessed, I do agree with your statement!

Comment · 7 years ago
Excellent; a few years ago I even started hacking on my own transport, very roughly as a PA module, but life got in the way and it never got very far. So I'm very pleased to see this great project. Thanks, and good luck!
Comment · 7 years ago
I see you've got Opus on your to-do list. I would really appreciate that! I find Opus (appropriately configured) to be audibly indistinguishable from CD audio, and it would really help with the bandwidth requirements.

I've always been really excited by the possibilities implied by PulseAudio's network capabilities, but disappointed by their latency and bandwidth requirements. Roc + Opus would be amazing.

Comment · 7 years ago
Debian testing. An amazing compromise between stability and recency.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton