gavr_sas
162 subscribers
2.41K photos
163 videos
24 files
731 links
JB пропаганда
Download Telegram
референсная прозрачность!
штука которой умные дяди отличают функциональную парадигму
= в фп как = из математики
х = х + 1— совершенно не валидный стейтмент

то есть х это не ссылка на память где лежит х, это сам х и есть, референс прозрачен! или иными словами выражение всегда можно заменить его значением, оно и есть значение!
🤯3💋1
Очень прикольная TUI либа перестает существовать как компания тк кк не нашла способа монетизироваться
Я сначала думал просто проект закрывается, но увидев что это была прям компания поперхнулся. Ниша нишы шыни, линуксойды - терминалы - туи
А выглядит прикольно, настолько хорошо что даже не парсится что это терминал хех.
Теперь это комунити дривен проект

https://textual.textualize.io/blog/2025/05/07/the-future-of-textualize/
Forwarded from ⁤⁤⁤⁤⁤⁤⁤P⁤⁤⁤.⁤⁤⁤ T⁤⁤⁤.
Как думаешь реально ли купить готовое тесто и преобразовать его в шоколадный маффин
Forwarded from ⁤⁤⁤⁤⁤⁤⁤P⁤⁤⁤.⁤⁤⁤ T⁤⁤⁤.
Без использования трейтов и функционального программирования
Forwarded from gavr
IO free шоколадный маффин невозможен, заворачиваешь шоколадную крошку и тесто в монаду, ставишь мономорфизироваться на 20 минут
🔥2
онлайн довнлоадер медии из интернетов без ограничений и рекламы
https://cobalt.tools/
https://github.com/imputnet/cobalt
с первого раза не нашел на основе чего он, но наверняка yt-dlp
у кого нибудь есть аргументы против ООП не касающиеся наследования?
Какой же ор, зашел в репу тсодинга думаю, омг какой раст, импосибл

Look inside, а тут тупа сишка но растом, каждая функция unsafe, в crust забинжены основные функции сишки, вот ето троль

https://github.com/tsoding/b
😁3
я уже говорил что Meson это лучшая билд система?

Вот каких то 5 лет и girные плюсовики подвинулись https://gitlab.com/mnauw/cppgir/-/issues/1#note_2552024818

βτν лучшая презентация продукта ева https://youtu.be/SCZLnopmYBM
Дока по языку 70тилетней давности, внезапно stack based https://web.archive.org/web/20200404093021/https://members.iinet.net.au/~dgreen/deuce/GEORGEProgrammingManual.pdf

Прям так и вижу как ктото набирал это на печатной машинке в нуаре
👍1
https://ziglang.org/devlog/2025/#2025-06-08
Селфхост бекенд теперь дефолт в дебаг моде в зиге
(то бишь не зависящий на LLVM)

Теперь Zig на Zigе билдица 20 сек вместо 75 ^_^
🔥4
gavr_sas
декабрь 2022, брр вообщем автор jank уволился с работы в EA, шобы уйти фуллтайм в разработку своего языка https://jank-lang.org/blog/2025-01-10-i-quit-my-job/ jank это llvmная кложа, с имеющийся целью полной совместимости, чтобы можно было даже переименовать…
jank новости
https://jank-lang.org/blog/2025-06-06-next-phase-of-interop/
jank - первый лисп с симлесс интеропом с С++ на том же уровне что у Clojure с Java! (один nim засомневался)

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

Сейчас jank проходит 20% тестов clojure.core

Очень люблю кложу, хоть ничего большого так и не писал, чисто идейно нравится(как Smalltalk) и жду jank
🔥1
внимание, я ускорил компиляцию niva файлов в 2 раза убрав проброс input chэнела

спасибо за внимание, gradle мир удивителен, нинавижу
🤯3