gavr_sas
У чайной vm вышел новый реализ с другой реализацией Wasm бекенда, теперь она переиспользует GC который не так давно был стабилизирован и добавлен во все браузеры. Теперь выходные бинарики будут куда меньше так как не надо тащить за собой реализацию GC Также…
брух, довольно юзлес оказалась, поддерживает токо эти классы из стд
Значица единственным способом сделать трули нативные бинарики остается GraalVM
Значица единственным способом сделать трули нативные бинарики остается GraalVM
gavr_sas
блин оч нравится вся анимация этого чела https://youtu.be/RXRRQxJwpnM #anime
И то что он в другой сделал отсылку на вот этот кадр, тупа 10/10
https://youtu.be/tCK_OsBg9gA
https://youtu.be/aFdE__2OKc8
https://youtu.be/tCK_OsBg9gA
https://youtu.be/aFdE__2OKc8
Media is too big
VIEW IN TELEGRAM
опача, подкаст про системы эффектов с Брагилевским!
https://youtu.be/252slbrmk8M
https://youtu.be/252slbrmk8M
gavr_sas
опача, подкаст про системы эффектов с Брагилевским! https://youtu.be/252slbrmk8M
ща шол слушал подкаст, там спросили как связаны системы эффектов и линейные типы, и я шото шизанул странной идеей
даже не знаю что это, яп или фреймворк, вот есть же этот Scratch - визуальный яп шоб познакомить детей с кодингов.
пускай флоу программы это будет Player, и у него есть инвентарь, где могут быть данные или лямбды, все это как бы как одноразовые предметы, и он может их ходить применять, тк кк они одноразовые это и есть линейные типы, а то что он получает лямбды и потом их применяет тратя это чисто алгебраические эффекты, то есть лямбда аля прочитать файл\отравить реквест
выдаются они раздатчиками аля пополнитель хп\брони из халвы, но в зависимости от цвета(дум)\типа карточки которая есть у Player они могут выдавать разное, это полиморфизм
логирование - журнал выполненных заданий, тут можно как угодно крутить, либо каждая примененная лямбда с эффектом оставляет там запись, как в морровинде, где вместо тупо галочек у тебя журнал с текстом, или как галочки например одна успешно завершившаяся(Result) фукнция(обработанный get запрос) одна новая запись
а мультитрединг можно показать как такое зеркало после которогот выходит в 4 разграничиенных участка уровня клоны, и в конце пришедшие первыми ждут пока придут остальными — примитив синхронизации барьер!
ща пока писал все сильнее понимал насколько же это шиза, но весело, можно даже сделать это не визуальзиацией а по фану фреймворком, главное инвентарь лямбд и раздатчики сделать
даже не знаю что это, яп или фреймворк, вот есть же этот Scratch - визуальный яп шоб познакомить детей с кодингов.
пускай флоу программы это будет Player, и у него есть инвентарь, где могут быть данные или лямбды, все это как бы как одноразовые предметы, и он может их ходить применять, тк кк они одноразовые это и есть линейные типы, а то что он получает лямбды и потом их применяет тратя это чисто алгебраические эффекты, то есть лямбда аля прочитать файл\отравить реквест
выдаются они раздатчиками аля пополнитель хп\брони из халвы, но в зависимости от цвета(дум)\типа карточки которая есть у Player они могут выдавать разное, это полиморфизм
логирование - журнал выполненных заданий, тут можно как угодно крутить, либо каждая примененная лямбда с эффектом оставляет там запись, как в морровинде, где вместо тупо галочек у тебя журнал с текстом, или как галочки например одна успешно завершившаяся(Result) фукнция(обработанный get запрос) одна новая запись
а мультитрединг можно показать как такое зеркало после которогот выходит в 4 разграничиенных участка уровня клоны, и в конце пришедшие первыми ждут пока придут остальными — примитив синхронизации барьер!
ща пока писал все сильнее понимал насколько же это шиза, но весело, можно даже сделать это не визуальзиацией а по фану фреймворком, главное инвентарь лямбд и раздатчики сделать
👍3🔥1💊1
gavr_sas
ща шол слушал подкаст, там спросили как связаны системы эффектов и линейные типы, и я шото шизанул странной идеей даже не знаю что это, яп или фреймворк, вот есть же этот Scratch - визуальный яп шоб познакомить детей с кодингов. пускай флоу программы это…
но суть шо можно было бы кодить в такой системе как в редакторе уровней марио https://youtu.be/u5rV0FnA1u8 или Geometry dash
новая гендерная теория, чем длиннее твой ник, тем меньше тебя будут замечать в чатах(при бурных обсуждениях, или стрима где он быстро летит)
Zed редактор сломали мне API изменив language на languages с массивом(
хочу попробовать попользоваться подольше
зы, залил https://github.com/gavr123456789/zed-niva/tree/main, пока что паразитирую на tree sitter от Scala
хочу попробовать попользоваться подольше
зы, залил https://github.com/gavr123456789/zed-niva/tree/main, пока что паразитирую на tree sitter от Scala
😢1
С Новым 20043 годом!
По традиции готовлю жульен, лучшее блюдо на нг
Только что четвертый раз переехал и супер доволен текущей хатой ^_^
За год даж хз, подучил греческий, начал проводить топовые лекции для жунов внутри фирмы,
нива сильно прокачалась, уже впринципе можно делать селф хост имплементацию
а рецепт успеха прост, слоями накладываем курицу, лук, сливки, сыр грибы, сыр
между каждым слоем какой нибудь любимой приправы, у мя это всяческие красные перцы
По традиции готовлю жульен, лучшее блюдо на нг
Только что четвертый раз переехал и супер доволен текущей хатой ^_^
За год даж хз, подучил греческий, начал проводить топовые лекции для жунов внутри фирмы,
нива сильно прокачалась, уже впринципе можно делать селф хост имплементацию
а рецепт успеха прост, слоями накладываем курицу, лук, сливки, сыр грибы, сыр
между каждым слоем какой нибудь любимой приправы, у мя это всяческие красные перцы
👍3🎉1🎄1