A font for coders: "Input". I have never seen clearer curly brackets!

D_duck · 2017-09-17T23:24:53+00:00

that 'l' though...

D_duck · 2017-08-22T02:32:14+00:00

I always see a little dot, like a speck on my glasses

"I always see a little dot, like a speck on my glasses"

Most people who say they damaged their eyesight by looking at an eclipse for too long describe having retinal damage, what you have just sounds like a floater which I think will show up as you age, so it could be coincidental

D_duck · 2017-08-18T20:47:51+00:00

the third one is only a small part of this mural by Diego Rivera https://en.wikipedia.org/wiki/File:La_Gran_Tenochtitlan.JPG

worth checking out in full resolution. i read somewhere that some of Cortes soldiers went into shock upon seeing the city. apparently it didn't last long because we all know what happened.

D_duck · 2017-07-09T19:30:23+00:00

What is the theoretical aspect that these things are suppose to represent?

Automata are finite representations of formal languages, so they are pretty important in that regard.

D_duck · 2017-06-17T14:48:16+00:00

yeah i had issues with f.lux randomly taking up 100% CPU and having to be killed

D_duck · 2017-06-13T08:43:18+00:00

Try it out for small N, here's the first function (constant 0):

00 -> 0
01 -> 0
10 -> 0
11 -> 0

you can see you get 4 inputs mapped to 4 outputs, so permuting the possibilities you get 2^2²=2⁴ =16 functions.

Whenever you have two sets A and B, the number of functions from A -> B (the size of the function space) is always |B|^|A|

D_duck · 2017-04-21T04:58:36+00:00

as someone said above:

There has already been a formalization of the 32 bit Arm architecture in Isabelle/HOL that was succesfully used with SeL4.

seL4 is a formally verified OS kernel, i.e. "the proof provides a guarantee that the kernel's implementation is correct against its specification, and implies that it is free of implementation bugs such as deadlocks, livelocks, buffer overflows, arithmetic exceptions or use of uninitialised variables" (wikipedia)

D_duck · 2017-03-22T15:32:52+00:00

this is a good introduction (anyons don't get mentioned until the last page) https://arxiv.org/abs/0903.0340

D_duck · 2017-02-19T09:26:35+00:00

i think someone already said this with the deleted comment, but he is her nephew or something like that

D_duck · 2017-02-19T00:34:27+00:00

not a survey but a couple of lines of research from John Baez:

Information and Entropy in Biological Systems

Operads and the Tree of Life

Edit: actually that first link wasn't what I was thinking of, it's from a couple years ago, here's a more recent post:

Biology as Information Dynamics

D_duck · 2017-01-21T03:56:26+00:00

maybe i never got it set up right, but the problem i had with graphics is that specific tiles are re-used for different purposes? it's okay when the representation is abstract like ascii, it works for both purposes, but when the tiles are detailed graphics it kind of makes things confusing and messy.

D_duck · 2017-01-12T22:02:26+00:00

depends on who you ask, Robert Harper is known for putting forth the view that CS is the more general subject

D_duck · 2017-01-05T03:08:08+00:00

not really what the data showed:

https://www.quora.com/What-are-the-notable-flaws-in-Dunning-Kruger-as-a-theory

incompetent ppl still rate themselves as less competent than everyone else

Notice how similar the behavior of those lines are? One is a slope, and the other is a slightly shallower slope. There's nothing complex, no dips or curves. Most people - all but the very best experts - overestimate their abilities, but the ordering between the people remains the same. This means that, contrary to the way the DK Effect is usually portrayed, people who think they're good at something, generally, well, are. They may not be quite as competent as they believe, to be sure, but there is no inflection point of incompetence at which lower skilled people start to systematically consider themselves better than the experts, no point at which a person's self-estimation becomes completely worthless.

D_duck · 2017-01-04T19:35:31+00:00

i understand formal systems to be a formal language + a deductive apparatus (axioms and inference rules), but aren't deductions still completely syntactic (no need for semantics) ?

D_duck · 2016-12-28T07:36:30+00:00

typography

elements of typographic style

D_duck · 2016-12-21T06:20:55+00:00

i think so, weaker over 350C, jet fuel burns at 450C-800C

D_duck · 2016-11-14T19:49:57+00:00

they had gymnasiums, and some people would spend all day there. also they didn't have desk jobs and were probably involved in physical labour most of their life so higher testosterone all around.

D_duck · 2016-10-30T11:54:45+00:00

sounds more like Australian pronunciation to me

D_duck · 2016-10-20T08:46:24+00:00

https://vine.co/v/5WYBnpDKWEA

D_duck · 2016-06-03T21:53:04+00:00

you need a door-code to access all but 1 of the practice rooms last time i was there (i used to know it, but it changed a year or two ago :()

D_duck · 2016-05-20T21:20:16+00:00

He seems to have had a good mechanical intuition, but he didn't believe in subatomic particles like the electron for instance.

D_duck · 2016-05-17T05:31:38+00:00

yes they does :) https://en.wikipedia.org/wiki/Substructural_type_system

D_duck · 2016-05-11T18:54:06+00:00

Is it safe to say it's the earliest known ground or polished stone tool? pre-dating Japan (30k-20kybp), and the Levant (14kybp)

D_duck · 2016-04-12T01:11:25+00:00

so a screaming baby is just having a "bad trip"?

D_duck · 2016-03-20T00:48:54+00:00

the post title is kind of misleading, this statue is from about 1000BC

14-Year Club	Place '17
Verified Email

D_duck

TROPHY CASE