gavr_sas
162 subscribers
2.4K photos
163 videos
24 files
728 links
JB пропаганда
Download Telegram
(((
"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 убивает опенсурс
байт заголовок для отличного видеоэссе на ютуб
Forwarded from Stolen Experiments Lain
gavr_sas
под цвет Nim!
мета!
и да, оно однобитное, никаких градаций серого
нашел бинды под JVM, может попробую забиндить их SDK под ниву и шось нашкодить
https://github.com/am1goo/playdate4j

текущие идеи(копипаста гугл кипа)
"0) поставить емуль на стимдек
1) словазапоминалка где ты крутилкой переворачиваешь карточку, как Anki, сложно токо вводить слова будет
неа изи
выбираешь кол во крутилок
крутилки-катушки букв могут быть разных языков, но можно и одного языка, тогда вторая крутилка будет начинаться с последней буквы предыдущей чтобы ускорить ввод

2) плеер подкастов \ аудиокниг
пока нет блютуз наушей, только провод(
3) котлин бинды, и какая то демка с kodee
4) куб скользит в лабиринте, закрашивая клетки, как первая игра в сдль с уника, токо куб как бы 3д изометрия"
Forwarded from gavr
ааееее
🔥1
gavr_sas
О че нашел, вот кложе же топ, но jvm и дин типизация отталкивала, ждемс выхода jank - можно сказать другой яп, но предполагается полная совместимость. https://jank-lang.org/
декабрь 2022, брр

вообщем автор jank уволился с работы в EA, шобы уйти фуллтайм в разработку своего языка
https://jank-lang.org/blog/2025-01-10-i-quit-my-job/

jank это llvmная кложа, с имеющийся целью полной совместимости, чтобы можно было даже переименовать либы, в каком состоянии язык сейчас непонятно, он занимается им как сайд проектом уже 10 лет, и 3 раза переписывал

чтото мне кажется что с таким перфекционистким мышлением релиза ждать еще долго

в любом случае он сказал что пересмотрит все еще раз в 2026 и там решит устраиваться ли обратно на работу

проект написан на плюсах, и чел имеет большой опыт в геймдеве
#яп
🔥1
gavr_sas
мета! и да, оно однобитное, никаких градаций серого нашел бинды под JVM, может попробую забиндить их SDK под ниву и шось нашкодить https://github.com/am1goo/playdate4j текущие идеи(копипаста гугл кипа) "0) поставить емуль на стимдек 1) словазапоминалка где…
This media is not supported in your browser
VIEW IN TELEGRAM
никогда не гейдевничал, в отличии от многих программистов меня чтото это в детстве не привлекало, однако признаю в свою поделку (даже смертельно простую) играть очень весело

луа прикольная, но кодить без типов конеш смерть