Forwarded from AlexTCH
In my version of computational thinking, I imagine an abstract machine with just the data types and operations that I want. If this machine existed, then I could write the program I want. But it doesn’t. Instead I have introduced a bunch of subproblems — the data types and operations — and I need to figure out how to implement them. I do this over and over until I’m working with a real machine or a real programming language. That’s the art of design.
Barbara Liskov, https://www.quantamagazine.org/barbara-liskov-is-the-architect-of-modern-algorithms-20191120/
Curious how Liskov echoes the Alan Kay's idea of objects as "little Turing machines exchanging messages" and Dijkstra's quote "the purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise".
These ideas seemingly naturally lead to the Language-Oriented Programming and DSLs, but those trigger hard pushback from vast majority of developers... 🤔
Quanta Magazine
The Architect of Modern Algorithms
Barbara Liskov pioneered the modern approach to writing code. She warns that the challenges facing computer science today can’t be overcome with good design alone.
👎1
☕️ Мерлин заваривает τσάι 🐌
С некоторым трепетом сегодня узнал что в YAML есть восемнадцать (18!) способов задать многострочную переменную. Очередное подверждение мысли о том, что YAML есть игрушка дьявола, и его хорошо бы выпилить отовсюду, заменив на православные TOML, INI, JSON, HCL…
Telegram
Блог*
#prog #article
The yaml document from hell (перевод)
For a data format, yaml is extremely complicated. It aims to be a human-friendly format, but in striving for that it introduces so much complexity, that I would argue it achieves the opposite result.…
The yaml document from hell (перевод)
For a data format, yaml is extremely complicated. It aims to be a human-friendly format, but in striving for that it introduces so much complexity, that I would argue it achieves the opposite result.…
👎3
Группа исследователей из Carnegie Mellon University показала PoC радара с возможностью отслеживать отдельных людей в помещении с помощью трёх передатчиков и приёмников WiFi
Статья и ссылка на репозиторий в комментариях
https://twitter.com/G4lile0/status/1614553700067835906
Статья и ссылка на репозиторий в комментариях
https://twitter.com/G4lile0/status/1614553700067835906
🤯2👎1
Пересматривал с женой "Марсианина". На глаза попался код на экране, который не выглядел стандартной смесью HTML и старофранцузского.
С первого взгляда подумал о Lisp, потом - о каком-то диалекте Prolog-а.
Я вышел в интернет с таким вопросом и нашёл статью на сайте NASA с разбором этого кода!
Оказывается это описание теоремы на макросах Common Lisp для системы автоматического доказательства теорем PVS (Prototype Verification System). Само описание входит в состав библиотеки NASAlib от исследовательской группы формальных методов исследовательского центр Лэнгли.
Этот код по-прежнему не подходит по смыслу к сцене фильма (в которой происходит отправка телеметрии), но всё же любопытнее обычной овсянки :)
- статья от NASA https://shemesh.larc.nasa.gov/fm/pvs/TheMartian/
- PVS пруфер https://pvs.csl.sri.com/denoscription.html и его сорцы https://github.com/SRI-CSL/PVS
- NASALib https://github.com/nasa/pvslib
С первого взгляда подумал о Lisp, потом - о каком-то диалекте Prolog-а.
Я вышел в интернет с таким вопросом и нашёл статью на сайте NASA с разбором этого кода!
Оказывается это описание теоремы на макросах Common Lisp для системы автоматического доказательства теорем PVS (Prototype Verification System). Само описание входит в состав библиотеки NASAlib от исследовательской группы формальных методов исследовательского центр Лэнгли.
Этот код по-прежнему не подходит по смыслу к сцене фильма (в которой происходит отправка телеметрии), но всё же любопытнее обычной овсянки :)
- статья от NASA https://shemesh.larc.nasa.gov/fm/pvs/TheMartian/
- PVS пруфер https://pvs.csl.sri.com/denoscription.html и его сорцы https://github.com/SRI-CSL/PVS
- NASALib https://github.com/nasa/pvslib
👍9🔥2👎1
☕️ Мерлин заваривает τσάι 🐌
Понеслась #go 1.19 https://github.com/golang/go/releases/tag/go1.19
Через несколько часов должен быть релиз #go 1.20 https://github.com/golang/go/releases/tag/go1.20
Посмотреть что в него входит можно пока здесь https://tip.golang.org/doc/go1.20
и по конкретным issue здесь https://github.com/golang/go/milestone/250?closed=1
Посмотреть что в него входит можно пока здесь https://tip.golang.org/doc/go1.20
и по конкретным issue здесь https://github.com/golang/go/milestone/250?closed=1
GitHub
Release [release-branch.go1.20] go1.20 · golang/go
Change-Id: I156873d216ccb7d91e716b4348069df246b527b3
Reviewed-on: https://go-review.googlesource.com/c/go/+/464496
Run-TryBot: Gopher Robot gobot@golang.org
Auto-Submit: Gopher Robot gobot@golang.o...
Reviewed-on: https://go-review.googlesource.com/c/go/+/464496
Run-TryBot: Gopher Robot gobot@golang.org
Auto-Submit: Gopher Robot gobot@golang.o...