gavr_sas
162 subscribers
2.4K photos
163 videos
24 files
728 links
JB пропаганда
Download Telegram
реальность без трудовых книжек удивительна
👍2
мультиязыковые ошибки прямо свитчами на месте? компиляторам пора перенимать фронтендовые практики
я был на 146% вчера уверен что зигyющий маск это ai видео
😁1
(((
"The EU just passed big regulation on AI

it includes things like:

-extensive content filtering
-banning educational AI without teacher supervision
-banning medical AI
• Mandatory human oversight for basic AI tasks
• Training data disclosures
• Multiple certifications & regular audits
• Continuous monitoring & risk assessments"
Очередной уверенный яп, на этот раз от японцев,
На данный момент транспилируется в байткод питона

В разработке еще 2 бекенда, 1 совместимый с питоном, второй нет, оба оптимизированны именно под erg

Имеет модель овнершипа аля раст но упрощенную до "mutable objects are owned and cannot be referenced after ownership is lost", также заявлены dependent types и refinement types что позволяет реализовать кт проверки деления на 0 и выхода за границу.

Последние звучит очень сомнительно, так как в жестокой реальности мы имеем дело с внешними данными приходящими из сети файлов итд, а подобные кт проверки будут работать только пока данные созданны внутри самой программы. Кстати некоторые из таких типов можно сделать на ts, и я применял их в проде.

Сайт https://erg-lang.org/
Дока https://erg-lang.org/the-erg-book/

Я впринципи заинтересован, хоть питоном никогда не интересовался, надо чекать
#яп
👍1
gavr_sas
Очередной уверенный яп, на этот раз от японцев, На данный момент транспилируется в байткод питона В разработке еще 2 бекенда, 1 совместимый с питоном, второй нет, оба оптимизированны именно под erg Имеет модель овнершипа аля раст но упрощенную до "mutable…
питоно-байткодная компиляция робит только до 3.11, и не робит на 3.13 (текущая версия на раче),
потому что байткод это внутренняя имплементация, и она нестабильна даже между минорными релизами.

но как мне подсказал автор можно заставить работать используя транспиляцию в обычный питон вместо байткода
вместо erg filename пишем erg trans filename а дальше уже исполняем любым питоном получившийся файлик
идея заменять ключевые слова кложи на всякие мат-символы прелесна
defn f
def ===
doseq квантор всеобщности
Forwarded from gavr
хотите самый бесячий язык на планете?, получайте
🤯3
gavr_sas
Photo
под цвет Nim!
3🔥1
https://repebble.com/
кажется автор пебл хочет сделать комбек, и PebbleOS теперь опенсорс https://github.com/google/pebble
васмовый компос(UI фреймворк андройда) в вебе
https://panpf.github.io/zoomimage/app/
начало скрола после приближения всегда подергивается, но потом прогревается (wasm бек не сейбл)
андройд апки в веб wen!?
This media is not supported in your browser
VIEW IN TELEGRAM
Новый способ рендера 3д (годного в теории для playdate тк кк однобитный)
Surface-Stable Fractal Dithering
https://www.youtube.com/watch?v=HPqGaIMVuLs
https://github.com/runevision/Dither3D
#indie
amazon убивает опенсурс
байт заголовок для отличного видеоэссе на ютуб