* * *

Sep. 24th, 2017 02:53 pm
bamalip: (Default)
[personal profile] bamalip
Кто там говорил про сплошное Си в эмбеддщине?

http://jerryscript.net

JerryScript is the lightweight JavaScript engine intended to run on a very constrained devices such as microcontrollers:

Only few kilobytes of RAM available to the engine (<64 KB RAM)
Constrained ROM space for the code of the engine (<200 KB ROM)
The engine supports on-device compilation, execution and provides access to peripherals from JavaScript.
deniok: (Default)
[personal profile] deniok

(1) Является ли отношение многошаговой бета-редукции на термах бестипового лямбда-исчисления отношением порядка? Докажите или приведите контрпример.

(2) Верен ли ваш ответ для просто типизированной лямбды?

if you are in California...

Sep. 23rd, 2017 10:28 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
https://ucpi.sco.ca.gov/UCP/ 

Somebody may owe you something!

кинофантазии

Sep. 23rd, 2017 09:12 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
Я когда на кухне, то смотрю NCIS. Там занятные идейки задвигают. Например - "I have a connection to an infrared GPS satellite" - и дальше герои смотрят по телевизору, как их коллеги затерялись где-то на Кольском ночью

Сейчас вот они зашли на "террористический персидский вебсайт", и одна такая говорит - "I need a list of everyone that has access to this website". Я бы предложил сгенерировать все айпи, например. IPv4 не так уж много же, и почти все заняты. 

* * *

Sep. 23rd, 2017 03:59 pm
bamalip: (Default)
[personal profile] bamalip
нелегальные украинские сталкеры в Байконуре совершили паломничество к "Бурану"
http://www.the-village.com.ua/village/city/city-experience/261869-yak-nelegalno-potrapiti-na-baykonur-znyati-film-i-vtekti-vid-fsb
Територія Байконуру повністю контролюється ФСБ, там діє російське законодавство. Росія орендує у Казахстану цю територію до 2050 року. Два хлопці з українськими паспортами, з камерами, приладами нічного бачення могли б сприйматися трохи не так. Навіть страшно подумати, що було б з нами, якби нас спіймали.

wtf

Sep. 22nd, 2017 02:48 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
scala> new java.util.Date(Long.MinValue)
res1: java.util.Date = Sun Dec 02 08:47:04 PST 292269055

scala> new java.util.Date(Long.MaxValue)
res2: java.util.Date = Sat Aug 16 23:12:55 PST 292278994

scala> new java.util.Date(Long.MinValue >> 16)
res14: java.util.Date = Thu Apr 06 13:14:04 PST 2491

* * *

Sep. 22nd, 2017 09:16 pm
bamalip: (Default)
[personal profile] bamalip
Ну я и раньше эпплом не пользовался, а зная, что они поддерживают рашистов, то и подавно не буду. Это ведь неудивительно - рынок РФ больше рынка Украины, простая арифметика, чисто бизнес.

http://uatime.net/video/ukrainskie-kiborgi-potrebovali-izvinenij-ot-apple-video/

* * *

Sep. 22nd, 2017 07:16 pm
bamalip: (Default)
[personal profile] bamalip
блог с говорящим названием https://notamonadtutorial.com

* * *

Sep. 22nd, 2017 06:52 pm
bamalip: (Default)
[personal profile] bamalip
Proof Driven Development
https://arxiv.org/abs/1512.02102

гуманитарное чтиво для менеджеров, зачем и как нужно программировать и математически доказывать одновременно

(via [personal profile] clayrat )

Ау, Украина

Sep. 21st, 2017 06:50 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Вам из-за поребрика Питер-Сервис помогает.

 http://personalviewsite.dreamwidth.org/4017933.html 

https://www.billing.ru/management/yuriy-boyko

Да и у меня что-то многовато общих знакомых с этим учреждением. Вот я подумаю уже. Подумаю.

https://www.linkedin.com/search/results/people/?facetCurrentCompany=%5B%2228683%22%5D

just found a bug...

Sep. 21st, 2017 03:01 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
In spark.core, RNG, specifically, normal distribution RNG.

It caches values (randomly). Now try to reseed. 

узнал кой-чего

Sep. 21st, 2017 09:48 am
juan_gandhi: (Default)
[personal profile] juan_gandhi
Такое есть культурное явление в Мексике, фильм El Topo (крот), и, соответственно, молодежь в черных рубашках. Например, topos aztecas. Песню поют, "tengo la camisa negra porque negro es mi alma", etc. Кино надо посмотреть будет. Ну или оно что-то вроде Hermano-2.

А также дошел смысл названия "Субару". すばあしい (субараший) - значит, чудесный.

* * *

Sep. 20th, 2017 06:21 pm
bamalip: (Default)
[personal profile] bamalip
к вопросу о мотивации: "потому!"


* * *

Sep. 20th, 2017 03:20 pm

* * *

Sep. 20th, 2017 10:34 am
bamalip: (Default)
[personal profile] bamalip
Новая Коллекция - ДОЛИНА ГРEЗ [1988]
https://youtu.be/qJt3hET91j0

среда в городе

Sep. 19th, 2017 04:38 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
San Francisco, view from the office 
View from our office, One Market

lunch on the shore
Lunch on the shores of the bay



Profile

xacid: (Default)
xacid

August 2017

S M T W T F S
  123 45
67891011 12
13 141516171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 01:54 pm
Powered by Dreamwidth Studios