Fork me on GitHub
#off-topic
<
2019-04-18
>
hipster coder00:04:44

I am trying out org mode for emacs… so I can track common server errors and bugs… I just thought… what if I could have my list of common problems/solutions searched and linked into the repl… so everytime an error happens, org mode or something can suggest the common fix?

vemv10:04:28

dunno. if there's an issue with a known fix, I'd fix the issue or make it hard to fall into it. e.g. use spec (I assume these are business-specific issues. else I'd simply use Eastwood)

hipster coder00:04:14

this would probably save me hours per week from just looking up my own trouble tickets in my trello… that’s where I organize all my tickets.

hipster coder00:04:06

here is a jira plugin for emacs… maybe I can find something that searches my bug tickets automatically anytime there is a repl error or command line error?

hipster coder00:04:08

I am going to try the trello emacs minor mode… and let you know how this goes… I think this is the best idea I’ve had all month

john14:04:52

"... computation may depend on cognitive activity and not the other way around. The kind of cognition in question, we propose, is that which only arises within and is integrally bound up with specific sociocultural normative practices." - https://www.academia.edu/30701477/The_Cognitive_Basis_of_Computation_Putting_Computation_In_Its_Place

💯 4
john14:04:09

I guess the take-away claim is that the abstractions we use to program computers are somewhat imaginary... heady stuff

respatialized15:04:19

I saw Daniel Dennett and David Chalmers give a talk on "Possible Minds" at Pioneer Works not too long ago and they basically treated CBC as so obviously true that it didn't even need to be mentioned.

john15:04:42

IIUC, this paper argues against CBC... or rather, switches the Cs - a Cognitive Basis of Computation

respatialized15:04:00

Yeah, it seems like a more developed version of what this blog post refers to as "Sapience." This post basically argues that the semantic content of cognition incorporates context to a degree that's completely uncaptured by our existing computational models of cognition. Any formal test of intelligence flattens the context that natural intelligence thrives in and thus makes it impossible to measure. https://fexpr.blogspot.com/2018/02/sapience-and-non-sapience.html?m=1 Or, as Dennett said in that talk "intelligence is knowing what to do when you don't know what to do." He said we're very far away from making machines that satisfy that definition of intelligence.

rboyd15:04:37

re: "Possible Minds" I noticed the latest episode on Sam Harris' podcast is titled such. https://samharris.org/podcasts/153-possible-minds/ interviews with George Dyson, Alison Gopnik, and Stuart Russell

rboyd15:04:35

I only made it through George Dyson's part so far but that one was pretty interesting

respatialized15:04:23

> Neither does the fact that people can compute ‘in their heads’, without engaging in overt manipulation of symbols, show that in such cases the brain computes. Even in these cases, it is the person that computes. The fact that computing relies on, and would not be possible without the occurrence of specific brain processes does not entail that those brain processes themselves are computations. :thinking_face: :thinking_face: I guess this makes sense by way of analogy to other ways of computing things. Using a pencil and paper to do long division definitely doesn't entail that the pencil and paper are dividing the numbers. Seems like a very anti-reductionist account of cognition is the consequence of this view.

john16:04:57

Yeah, I haven't heard much news about how cognition is not based on spike trains flowing through neural circuits... Not calling that computation may be a semantic quibble.

john16:04:28

But I'd agree that a Clojure interpreter, for instance, has two different descriptions - one is our sugary understanding of the concepts, the other is the actual silicon and electrons that are representing the analogous concepts

john16:04:24

And you could call the sugary side of that coin "cognitive" if you accept all epistemic facts to be somewhat cognitive

respatialized16:04:27

I don't think it's just the sugary concepts though – the paper seems to argue that the output of programs and the purpose they're put to is also the determiner of cognitive content. A language interpreter has no meaning (cognitively) until it actually interprets symbols for some purpose.

john16:04:59

What do you mean by "determiner of cognitive content"?

respatialized16:04:27

to say something "determines the cognitive content" of something else is just an unwieldy way of saying something gives meaning to something else, I think

john16:04:33

I mean, if we accept that "meaning" is a cognitive affair. Or if we accept that all subjective, experiential affairs are "cognitive" in some way, then you get to the same conclusion.

respatialized16:04:19

yeah I guess that's something that I was implicitly assuming. I have no idea what a non-cognitive account of meaning would look like.

john16:04:38

Do you think it could be argued that, in a way, all life in the universe have some layers of semantic, whereas the molecules underneath them are pure syntax, without semantics?

john16:04:29

Or, could we argue that non-living, non-end-directed affairs (pure accidental affairs of things unaffected by living things) also can have a kind of semantics?

respatialized16:04:06

depending on how you're defining "semantics" here, people definitely argue for that view: https://plato.stanford.edu/entries/panpsychism/

respatialized16:04:12

I myself don't agree with it

john16:04:53

That inert matter (unaffected by organic material) lacks semantics?

john16:04:11

The rules that govern molecules might be seen as a kind of semantic?

respatialized16:04:40

I don't think that identifying structure in reality is enough to assume that reality has semantics. Semantics are a feature of language and they relate to the fact that language is structured, but not all structured things have semantics (in my view).

👍 4
john16:04:31

Yeah, I'm partial to that interpretation

respatialized16:04:35

yeah, I think it's consistent with the criticism of naturalistic accounts of computation given in the paper.

Jamie Rumbelow17:04:58

Is something missing? I can’t tell…

dominicm18:04:04

I feel like a mainstream language added support for commas in numbers in source code, e.g. 1,000 = 1000 but I can't think of which it would be

Lennart Buit18:04:12

I think that java has underscores

mpenet18:04:06

ocaml as well

code star 819:04:55

Do you like ocaml? I heard great things. But I didn't realize it is single threaded? No?

dominicm18:04:13

and python, underscores it is!

dominicm18:04:15

that makes more sense.

Lennart Buit18:04:22

commas and periods are a mess anyhow, the Dutch put a comma between the integer and fraction parts and use a period for thousands

dominicm18:04:37

Yeah, I know. I did wonder if using commas was controversial.

dominicm18:04:25

(when I thought it was the comma)

Lennart Buit18:04:40

well an underscore hasn’t been assigned a role in natural language just yet, so its a relatively safe bet 😉

cjsauer18:04:12

Anyone have a good book they can recommend for learning GPU/shader programming, specifically in the context of “general purpose” GPU programming?

Alex Miller (Clojure team)18:04:31

in Java, a comma already has a syntactic meaning, so that was not an option

code star 819:04:13

@cjsauer what is shader programming?

neupsh19:04:52

@UJ01DB32R writing programs that runs on GPU instead of CPU

code star 819:04:42

for example? for bitcoin mining and machine learning? Cuda?

code star 819:04:36

I just recently learned about Amdahl’s law from a friend. It helps calculate performance boosts from parallel programming.

neupsh19:04:36

This is directly from wikipedia 🙂 :

neupsh19:04:37

Most shaders are coded for a graphics processing unit (GPU), though this is not a strict requirement. Shading languages are usually used to program the programmable GPU rendering pipeline, which has mostly superseded the fixed-function pipeline that allowed only common geometry transformation and pixel-shading functions; with shaders, customized effects can be used. The position, hue, saturation, brightness, and contrast of all pixels, vertices, or textures used to construct a final image can be altered on the fly, using algorithms defined in the shader, and can be modified by external variables or textures introduced by the program calling the shader.

code star 820:04:46

ahhh, hence the origin of the word "shader"

cjsauer20:04:56

A lot of the wording around the subject still stems from its graphical roots, but GPUs have evolved to be general purpose computational units.

code star 821:04:02

I was reading about Azul which is approaching 1000 core setups on the CPU

cjsauer14:04:14

Wow…do you have a link you could share?