Tag Archives: computer science

The accounting double-entry system … has survived relatively unchanged for centuries. …elegance…usefulness…what makes …double entry … so special as an information system…[?] [T]he double entry system is based on the idea that ∀ asset (thing of benefit) ∃ someone who … Continue reading

Quote | Posted on by | Tagged , , , , , , , , | Leave a comment

Category Theory for Programmers redraw pictures of ƒ(A)=B so that the morphisms look like • and the objects look like →. Hey, why not? string diagrams (process networks) are just as good as algebraic symbology associativity tensor products if switch( … Continue reading

Video | Posted on by | Tagged , , , , , , , , , | Leave a comment

icardbig> averaging averages of averages to find a fixed point of a function linear combinations of electrical signals, polynomials, waveforms, or vectors in LISP/code> linear combination is (* scalar (+ vector vector)) computer science = magic, not done on computers … Continue reading

Video | Posted on by | Tagged , , , , , , , , , , | Leave a comment

The theory of universal algebras was well-developed in the twentieth century. [It] provides a basis for model theory, and [provides] an abstract understanding of familiar principles of induction, recursion, and freeness. The theory of coalgebras is considerably [less] developed. Coalgebras … Continue reading

Quote | Posted on by | Tagged , , , , , , , , , , , , | Leave a comment

arXiv

Hola Nerds, Have you ever found yourself browsing tumblr and thinking to yourself: “Instead of looking at pictures of dyed hair, I should really be thinking about chirped dissipative solitons” ? Well, now you can. I ported the following arXiv feeds … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , , | Leave a comment