xxzozaxx - Network

Installing #agda on #Debian and let it work with #spacemacs is a pain.Back to #coq

Installing #agda on #Debian and let it work with #spacemacs is a pain.

Back to #coq

Nope. So, how to put Debian logos in my name for example?

Nope. So, how to put Debian logos in my name for example?

is this how logos works on mastodon?!

is this how logos works on mastodon?!

Proving by pretending ♥️#meme #math #proof

Proving by pretending ♥️

#meme #math #proof

#arabic #painting. Crossing @egyptian desert in storm

#arabic #painting.
Crossing @egyptian desert in storm

is there any simple version of #Rust language, I feel like it's #C++ alternative instead of #C. why not just Rust with `defer` statement...

is there any simple version of #Rust language, I feel like it's #C++ alternative instead of #C. why not just Rust with `defer` statement -yes manual mem management- instead of it's complex mem management.

Why FFI is a pain ?

Why FFI is a pain ?

@johnson@mastodon.social hey, thanks for your effort with mastodon.el, but u may want to add a screenshot on README or something like that...

@johnson@mastodon.social hey, thanks for your effort with mastodon.el, but u may want to add a screenshot on README or something like that <3

┏━━┓┏━━┓┏━━┓┏━━┓┗━┓┃┃┏┓┃┗━┓┃┃┏┓┃┏━┛┃┃┃┃┃┏━┛┃┃┃┃┃┃┏━┛┃┃┃┃┃┏━┛┃┃┃┃┃┗━┓┃┗┛┃┃┗━┓┃┗┛┃┗━━┛┗━━┛┗━━┛┗━━┛without...

┏━━┓┏━━┓┏━━┓┏━━┓
┗━┓┃┃┏┓┃┗━┓┃┃┏┓┃
┏━┛┃┃┃┃┃┏━┛┃┃┃┃┃
┃┏━┛┃┃┃┃┃┏━┛┃┃┃┃
┃┗━┓┃┗┛┃┃┗━┓┃┗┛┃
┗━━┛┗━━┛┗━━┛┗━━┛
without any thing in the middle. #2020

this is lectures, it's mit 9.001 I guess.I liked mit 'math 4 cs' lectures too. they are awesome,mit first linear algebra course...

this is lectures, it's mit 9.001 I guess.
I liked mit 'math 4 cs' lectures too. they are awesome,
mit first linear algebra course is good, but it's too much applied math, and I prefer pure math.

I found MIT 'introduction to psychology' pretty awesome, sadly I stopped watch them, and I do read the free book in the course...

I found MIT 'introduction to psychology' pretty awesome, sadly I stopped watch them, and I do read the free book in the course syllabus.

foe me , in math I found 1)book of proof, 2)spivak calculus, 3)lang's linear algebra are quite good. I didn't finish them, but gonna...

foe me , in math I found 1)book of proof, 2)spivak calculus, 3)lang's linear algebra are quite good. I didn't finish them, but gonna continue eead them in 2020.
in med, I found openStax good, they book physiology and anatomy are awesome.
in CS, I did read SICP, and holy ... this book is amazing, i'm trying to finish 'math for cs' but didn't finish it. read some 'the rust prog lang' and start hate rust just a little bit. wikibooks 'Haskell' are so good, it really a good haskell resources

what resources/books/lectures did u find it useful in 2019 ?share it here

what resources/books/lectures did u find it useful in 2019 ?
share it here