Прикольный подкаст с главным или одним из главных разработчиком Haskell и GHC. Рассуждает про типы, языки, лямбда-вычисления - ну про что там обычно рассуждают хаскелисты :) Но интересно!
#talk #fp #type
#talk #fp #type
YouTube
Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages.
• My ergonomic keyboard project I mentioned, you can…
• My ergonomic keyboard project I mentioned, you can…
👍2
Очень крутая демка (< 3 min): 3D город из ASCII символов в браузере. В одном HTML файле. Просто waaaat
Попробовать можно тут за маленькую денежку, поддержав автора.
#html #browser #just4fun
Попробовать можно тут за маленькую денежку, поддержав автора.
#html #browser #just4fun
YouTube
A Walkable ASCII Cyberpunk City in One HTML File
Update on the project: https://www.youtube.com/watch?v=UCKEDWowc0o
Try the prototype: https://ko-fi.com/s/e1e0f91951
I wanted to build a city that feels alive, but is made entirely from ASCII characters.
This is a small custom engine built with JavaScript…
Try the prototype: https://ko-fi.com/s/e1e0f91951
I wanted to build a city that feels alive, but is made entirely from ASCII characters.
This is a small custom engine built with JavaScript…
👍3
Media is too big
VIEW IN TELEGRAM
Смотрите, какой интересный заход на навигацию в машине. Сворачивают пространство как в Inception Нолана, или как у него же в цилиндрических кораблях в Interstellar. Вообще выглядит прикольно, что-то в этом есть.
#maps #navigation
#maps #navigation
🔥4🤯4
Теренс Тао - по всем понятиям состоявшийся математик - рассказывает о разном. Из чего современная математика состоит (думаю, все, кто проходил тех. ВУЗы, всё это уже представляют), как помогает в других науках, почему заниматься ей серьёзно - это постоянные ошибки, а иногда просто необходимость сдаться. Ну и про ИИ, конечно, куда без него. Как его применяют, как к нему относятся, плюсы/минусы и т.п.
#talk #math #ai
#talk #math #ai
YouTube
One of the world's greatest mathematicians explains 6 essential concepts of math | Terence Tao
Become a Big Think member to unlock expert classes, premium print issues, exclusive events and more: https://bigthink.com/membership/?utm_source=youtube&utm_medium=social&utm_campaign=membership&utm_content=bt-ytdesc-text-fi-tao-OOMx2BHHWtE
Subscribe to…
Subscribe to…
❤2👍1🎉1
Тут чел долго писал на Clojure, а потом перешёл в мир TypeScript + Go. И рассказывает, почему "как же мне не хватало статической типизации" - not really the case. Я сам какое-то время назад задавался тем же вопросом, мол "как вы так вообще живёте без типов", и тут вполне разумный взгляд на проблему. Единственный минус - пост как будто полирнули LLM, тошнит от некоторых оборотов, но мысль человека всё же пробивается :)
#type #clojure #language
#type #clojure #language
Furkan Bayraktar
The Wrong Question About Type Systems · Furkan Bayraktar
After 8 years of Clojure, the 'don't you miss types?' question stopped making sense. It's not safety vs. danger. It's discipline vs. enforcement, and the cost of coordination.
👍2💯1
Интересный пост: "The origin of complexity". Автор выдвигает тезис: все best practices в написании кода решают одну проблему - снижение необходимости в координации. В координации между командами, между людьми, между компонентами системы и т.д. И дальше просто разворачивает мысль на примере разных стандартных практик, пытаясь выделить некоторый универсальный принцип борьбы со сложностью и снижением необходимости в координации.
#complexity #programming #system
#complexity #programming #system
tengstrand.github.io
The origin of complexity
Ребята делают журнал про low tech. И хостят его на крохотном сервере, который питается исключительно от солнца. Стоит это дело на балконе основателя журнала где-то в Барселоне. Аккумулятора не предусмотрено, поэтому при затяжной облачности сайт уходит в оффлайн. Аптайм у ребят лучше, чем у GitHub, между прочим. Ну и это статический сайт, конечно, - другие нагрузки совсем. Чуваков можно поддержать донатом или просто купить подшивку журнала. Безумно круто!
За ссылочку обнимаем @Remych04
#server #power
За ссылочку обнимаем @Remych04
#server #power
LOW←TECH MAGAZINE
This is a solar-powered website, which means it sometimes goes offline
❤7🎉1💘1
Очень забавная игра: нужно заставить типа Claude Opus 5 перекрасить ОДНУ кнопку в синий, не утратив рассудок.
За ссылочку благодарим @Remych04
#humor #ai #llm
За ссылочку благодарим @Remych04
#humor #ai #llm
opusfived.dev
Make one button blue. Change nothing else. A short interactive comedy about agentic AI assistants that can never just do the thing.
🔥1
Сборник опций для
#macos #apple #cli
defaults macOS тулы со скриншотами/демками и указанием, на каких версиях ОС протестировано. Может быть хорошо для каких-то автоматизаций или даже просто для: "о, а что, так можно было?"#macos #apple #cli
macOS defaults
A list of macOS defaults commands with demos ✨
You've already copied `defaults write` commands. Sometimes you don't know what they do and are not sure they still work. This list of macOS defaults commands is here to help.
🔥2👍1👌1