minkowski

4 ms·

1.
by minkowski 12d ago
Probably not since LLMs can now carry out very large formalizations ( https://www.anthropic.com/research/formalizing-fermats-last-... ).
2.
by minkowski 5mo ago
Nixpkgs uses the GitHub source, not the PyPI dist, for lightning; unclear to me from the advisory whether this should also be considered compromised.
3.
by minkowski 1y ago
Have a look at the join calculus and the "chemical abstract machine" as implemented in JoCaml, e.g., https://sites.google.com/site/winitzki/tutorial-on-join-calc...
4.
by minkowski 4y ago
Some of the theoretical work is available with keywords like 'multi-object tracking' or 'multi-object detection' and also applied to tasks such as pedestrian tracking for autonomous vehicles, but there was also a bunch o
5.
by minkowski 4y ago
I didn't check if this research is still pursued or abandoned due to the rise of face recognition and other metric learning/re-identification technologies, but a few years ago a number of faculty at ETH Zurich were quite heavily i
6.
by minkowski 4y ago
The logic of this study is typical of many modern statistical studies: 1. the authors fit a certain model, adjusted for certain covariates, and observe that a certain effect of interest is statistically significant. 2. therefore, if (a) the
7.
by minkowski 4y ago
Direct action is an anarchist/autonomist idea of changing things directly rather than petitioning the government (see Graeber, Direct Action: an ethnography). It has literally nothing to do with fascist (particularly Nazi -- see Klemp
8.
by minkowski 6y ago
Identifying degrowth with ecofascism isn't accurate.
9.
by minkowski 6y ago
Setting aside the obvious questions about how wild vs farmed animals are raised, wolves don't have a choice about what to eat, while humans do. Even if we wanted to improve the status of wild animals, murdering wolves isn't obvio
10.
by minkowski 6y ago
Note that 'notRobot's "valuing all lives" is not saying "valuing all lives precisely equally" but rather opposing "humans are far more morally important" as per the abstract.
11.
by minkowski 6y ago
Conversely, at some point I decided to watch Sapolsky lectures based on human recommenders, but this caused YouTube to recommend not only other science lectures but also sensational videos purporting to be about quantum mechanics, medicine,
12.
by minkowski 6y ago
Not answering your question, but just to point out to readers that this article is about graphical models, not Bayesian neural networks.
13.
by minkowski 6y ago
The interesting part of this letter isn't any novel or lucid argument but what it's arguing against, which in the context of the mentioned earlier Ontario Hospital Assocation statement almost comes across as a straw man. The lett
14.
by minkowski 6y ago
This is rather uncharitable. Category theory is an essential part of the vocabulary of 20th-century mathematics. Large swaths of algebra, topology, geometry, and logic are fairly inextricably formulated in this language. Similarly, it see
15.
by minkowski 6y ago
This rather reminds me (very inexactly) of Behavioural Activation Therapy [ https://en.wikipedia.org/wiki/Behavioral_activation ] although in that case the task intended isn't necessarily inherently disagreeable, si
16.
by minkowski 6y ago
A friend has recommended Coecke and Kissinger's book, Picturing Quantum Processes, which takes an alternative conceptual approach to quantum computation based on string diagrams (not-so-secretly a formalism for working with various fla
17.
by minkowski 8y ago
In my (admittedly PL-influenced) view the primary concepts in programming are: 1) Compositionality - primarily via functions which implement substitution, but also composition of larger program units, e.g. via (ML-style) modules. 2) Recursi