TGViewer
Channel Public Channel
dd if=/dev/stuff of=/dev/tg

dd if=/dev/stuff of=/dev/tg

@randomstuffilike

Музыка: @randommusicilike

18+. По всем вопросам, кроме рекламы: @rsil_feedback_bot

По вопросам рекламы (внимательно читайте приветственное сообщение): @rsil_ads_bot
Open in Telegram
Subscribers
2.48K
Photos
348
Videos
5
Links
564

Showing posts older than #666 · Back to latest

Older Posts 20 shown
Post #665 3.7K
https://tonsky.me/blog/monitors — публично говорю «спасибо» Никите за этот пост. Отключение сглаживания в настройках макоси ощутимо улучшило чтение шрифтов. С консолью опеншифта стало возможно работать без боли! ❤️
ТИМ КУК СКРЫВАЛ! ЧТОБЫ ЛУЧШЕ ВИДЕТЬ, НУЖНО ВСЕГО ЛИШЬ ДВАЖДЫ В ДЕНЬ…
Гхм. Прочтите пост, в общем, он и правда отличный.
tonsky.me Time to upgrade your monitor A non-comprehensive and opinionated guide to best monitor for programming
Post #663 6.41K
Весь мир: BLM, pride month, diversity
Русскоязычные отзывы в Гугл Плей:
Post #661 3.02K
Jason Grafft - Enhancing Machine Learning and Data Visualization Pipelines with Isomorphisms:
https://youtu.be/wXQ94I_vrSc
YouTube Jason Grafft- Enhancing Machine Learning and Data Visualization Pipelines with Isomorphisms- λC20 GE Slides- https://github.com/jagrafft/presentations Machine learning and visualization operations typically require multiple transformations of input data. Entropy tends to increase with the number of transformations, expanding the likelihood of errant behavior…
Post #659 3.45K
С пятницы по воскресенье проходит ZuriHac 2020, посвященный хаскелю и не только.
В дискорде происходит обсуждение докладов, помощь новичкам по разным вопросам и ad-hoc сессии и доклады. Потрясающе приветливое коммьюнити прилагается 🙂 Так что если хотите узнать больше о хаскеле, его экосистеме, проектах и реальной работе — регистрируйтесь и приходите.

Доклады и live-сессии:

🎤 Opening Ceremony & Rob Rix - “Languages all the way down”
⚙️ Divesh Otwani - "A tour of linear types and linear base"
⚙️ Richard Eisenberg - "Write a GHC extension in 30 minutes"
🎤 Philip Wadler - "(Programming Languages) in Agda = Programming (Languages in Agda)"
👨‍💻 Andres Löh - "Datatype-Generic Programming"
🎤 Gabriel Gonzales - “A bare-bones Twitter clone implemented with Haskell + Nix”
⚙️ Facundo Dominguez - "QualifiedDo: customizable 'do' syntax without fuss"
⚙️ Nicolas Frisby - "On "simple" constraints for typechecker plugins"
🎤 Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?”
👨‍💻 Tobias Dammers - "Haskell and InfoSec"
👨‍💻 Alexis King - “Effects for Less”

🎤 talk, 🐣 beginner track, 👨‍💻 advanced track, ⚙️ GHC track
zfoh.ch ZuriHac 2020 ZuriHac is a free annual Haskell event brought to you by «Zürich Friends of Haskell»
Post #656 3.55K
Собрал небольшой докерфайл для сборки Idris 2 с последующим запуском в DevContainer:
https://gist.github.com/YBogomolov/dc49c610cf7d92c60fb4678bae3ab753
Вообще, должен сказать, что DevContainer штука просто необычайно удобная и выручает уже не первый раз. Например, мой текущий проект на работе под макосью отказывается собираться нормально — ему нужен какой-то хитрый билд libsasl2 с фичами, которых почему-то нет в тех версиях, что лежат в портах и brew. Сборка же в убунтовом контейнере завелась с полпинка. Аналогично и в данном случае.
Короче, если вы хотели попробовать Idris 2 с его Quantitative Type Theory, но не хотели морочиться с установкой лиспа (для сборки нужен Chez Scheme либо Racket) и сборкой проекта вручную, то теперь можете получить работающий компилятор практически в два клика.
Gist Idris 2 DevContainer Idris 2 DevContainer. GitHub Gist: instantly share code, notes, and snippets.
Post #651 3.65K
В играх начали про монады говорить, да что ж ты будешь делать, а
Post #650 4.07K
На канале Konfy начали выкладывать видео с конференции Scala.Love!
Был приятно удивлен присутствием среди докладчиков Павла Шульца, который сделал крутейший доклад «Impossibility in the area of distributed computing»:
https://www.youtube.com/watch?v=KrqSPfwiVpA
Также заслуживает отдельного внимания доклад Кая «Scala, functional programming and team productivity»:
https://www.youtube.com/watch?v=QbdeVoL4hBk
Post #646 3.36K
Ну охуеть теперь. МВД предложило рассмотреть возможность обязать мигрантов устанавливать приложение на телефон, где будут все данные — биометрия, криминалистика, медкарта. То, что телефон могут банально украсть, или что не все знают, как сделать hard wipe перед продажей (т.е. удаленные данные можно восстановить) — их, видимо, не заботит.
Я точно знаю, что на моем устройстве этой хуйни не будет, потому что я в курсе, кто и как разрабатывает подобные приложения. Радует одно — до того, как они реально начнут внедрять подобное, меня уже не будет здесь.
https://meduza.io/news/2020/05/29/mvd-predlozhilo-sozdat-prilozhenie-migrant-ustanavlivat-kotoroe-obyazhut-vseh-priehavshih-na-rabotu-v-rossiyu
Meduza МВД предложило создать приложение «Мигрант», устанавливать которое обяжут всех приехавших на работу в Россию Эксперты МВД предложили рассмотреть возможность создания мобильного приложения, устанавливать которое обяжут всех трудовых мигрантов, приезжающих в Россию. Соответствующее предложение, сообщает РИА Новости, содержится в прогнозе развития ситуации в миграционной…
Post #645 3.43K
David Spivak: Polynomial functors II: Seven wonders of the composition product
https://www.youtube.com/watch?v=3AOGDTr1zrY
YouTube David Spivak: Polynomial functors II: Seven wonders of the composition product MIT Category Theory Seminar 2020/05/28 ©Spifong Speaker: David Spivak Title: Polynomial functors II: Seven wonders of the composition product Abstract: On March 5 in this seminar, I discussed the category Poly of polynomial functors on Set and its applications…
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →