https://docs.google.com/document/d/e/2PACX-1vSt2VB1zQAJ6JDMaIA9PlmEgBxz2K5Tx6w2JqJNeYCy0gU4aoubdTxlENSKNSrQ2TXqPWcuwtXe6PlO/pub
Инженеры из команды Chrome попытались выразить Rust-like ownership and borrowing system на шаблонах C++. Понятно, что ничего не вышло, но они подробно описали в каких местах сломалось и почему.
Инженеры из команды Chrome попытались выразить Rust-like ownership and borrowing system на шаблонах C++. Понятно, что ничего не вышло, но они подробно описали в каких местах сломалось и почему.
https://drewdevault.com/2021/09/23/Nitter-and-other-internet-reclamation-projects.html
"Internet reclamation" -- "человеческое лицо" для "корпоративного Интернета". 😄
Надо тоже автоматические редиректы настроить -- Твиттер и Ютуб чем дальше, тем больше разламываются. 😒
"Internet reclamation" -- "человеческое лицо" для "корпоративного Интернета". 😄
Надо тоже автоматические редиректы настроить -- Твиттер и Ютуб чем дальше, тем больше разламываются. 😒
Слышали, что ещё придумали эти зумеры? Микродозинг образования! 😂
https://ru.wikipedia.org/wiki/%D0%9C%D0%B8%D0%BA%D1%80%D0%BE%D0%BE%D0%B1%D1%83%D1%87%D0%B5%D0%BD%D0%B8%D0%B5
https://ru.wikipedia.org/wiki/%D0%9C%D0%B8%D0%BA%D1%80%D0%BE%D0%BE%D0%B1%D1%83%D1%87%D0%B5%D0%BD%D0%B8%D0%B5
я считал, что механизм логического вывода на правилах - это явная альтернатива ML там, где нет возможности собрать достойный датасет
Вот так зумеры смотрят на эту вашу формальную логику! 😁
Рубрика "угадай язык программирования".
Никаких других вариантов возвращаемых значений в языке нет вообще! 😂
(Ответ: FurryScript)
The return value of a subroutine is "OK", "bad", or "very bad"
Никаких других вариантов возвращаемых значений в языке нет вообще! 😂
(Ответ: FurryScript)
Аааа!!! Алан Кей сидит онлайн на Quora прямо сейчас и отвечает на мои комментарии!!! 😱
https://utk-se.github.io/CodeRibbon/
Навигация по файлам в духе tiling window manager. Плагин почему-то для Atom. VS Code умеет загружать Atom-плагины? 🤔
Навигация по файлам в духе tiling window manager. Плагин почему-то для Atom. VS Code умеет загружать Atom-плагины? 🤔
https://elliot.website/editor/
Early stage WIP prototype of an editor embedding other (projectional) editors a-la JetBrains MPS (and thus Mbeddr) but on top of usual text-based editor, not structural one.
Early stage WIP prototype of an editor embedding other (projectional) editors a-la JetBrains MPS (and thus Mbeddr) but on top of usual text-based editor, not structural one.
https://www.youtube.com/watch?v=NHopJHSlVo4
Не треплитесь про свои цели. Вас тогда не только не засмеют, так даже выше шанс чего-то на самом деле добиться. 😉
Не треплитесь про свои цели. Вас тогда не только не засмеют, так даже выше шанс чего-то на самом деле добиться. 😉
YouTube
Keep your goals to yourself | Derek Sivers
https://www.ted.com After hitting on a brilliant new life plan, our first instinct is to tell someone -- but Derek Sivers says it's better to keep goals secret. He presents research stretching as far back as the 1920s to show why people who talk about their…
https://aiplans.github.io/
AIPLANS (Advances in Programming Languages and Neurosymbolic Systems): a new workshop at NeurIPS 2021 fusing ML with programming theory to create neurosymbolic program-writing machines!
Dec. 13th or 14th at NeurIPS 2021.
AIPLANS (Advances in Programming Languages and Neurosymbolic Systems): a new workshop at NeurIPS 2021 fusing ML with programming theory to create neurosymbolic program-writing machines!
Dec. 13th or 14th at NeurIPS 2021.
https://dev.to/pb/open-source-programs-for-students-to-participate-55gm
A small list of (summer) programs like (and including) Google Summer of Code.
A small list of (summer) programs like (and including) Google Summer of Code.
DEV Community
Open Source Programs for Students to participate
Open Source Software is one of the most beautiful creations of humankind. It not only powers the...
Forwarded from Hacker News
https://github.com/mattiasgustavsson/dos-like
Program in C like it's DOS (and everyone's watching)! 😂
Program in C like it's DOS (and everyone's watching)! 😂
GitHub
GitHub - mattiasgustavsson/dos-like: Engine for making things with a MS-DOS feel, but for modern platforms
Engine for making things with a MS-DOS feel, but for modern platforms - mattiasgustavsson/dos-like
If nLab is too general and abstract for you there's now https://1lab.gadt.fans/index.html — a formal development of simple 1-category theory mechanised in Agda (and presented in Literate Agda). 😊