Telegram Web Link
Java programmers are reinventing profunctor optics. At the very least they've made an Enterprise Review:
https://mapstruct.org/
😂
👍1😁1
https://www.youtube.com/watch?v=JYWLSQI5tu0

https://www.kickstarter.com/projects/lesstroud/the-question-of-bigfoot

You might not give a flying f*** about Bigfoot, but if you like wilderness adventures, beautiful cinematography and engaging documentaries — I strongly suggest backing the project.

I honestly think Survivorman's Bigfoot is the best documentary detective TV series out there. Go see for yourself, it's available for free on Les Stroud's YouTube page.
👌1
AlexTCH
https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/ OK, it's more clear now why Amazon hired Leonardo de Moura... #lean #verification guided development
On average, Lean takes 5 microseconds to evaluate a differential testing input, compared to 7 microseconds for Rust.

😳
🤯4
— Вет. ссан. надзор! Предъявите ваших котиков!
Двусторонний medium/fine карманный брусок от Spyderco офигенен. А чего ещё ожидать от Spyderco? Чехол из замши вообще фантастический. Набор ощущается дороже своих денег. Не часто такое встретишь, глубокая уважуха.
👍2
https://dmkpress.com/catalog/nauchno-populyarnaya-seriya/978-5-93700-314/

Не читал, но одобряю.

Выглядит как книжка "для самых маленьких" — в конце концов, она рассматривает фокусы и объясняет Computer Science "на пальцах" — но на самом деле затрагивает темы, с которыми не все "взрослые программисты" знакомы, например, аксиоматическую семантику Флойда-Хоара-Дейкстры и доказательства корректности программ, инфобез и HCI. За компанию знакомит с краткими биографиями некоторых видных (и не очевидных) фокусников и компьютерщиков. Полезно для общего развития.

#book #computerscience #education
👍2
One Fibery tab eats up 2GiB RAM in my Firefox. Three long-lived tabs accrued 5GiB RAM last week. Impressive job, folks.
😁1
Купил ведро краски, в котором плавал герметичный контейнер с деньгами. Наличкой. Типа, гарантия от вскрытия — если бы кто-то вскрывал, то спиздил бы деньги. Ну, допустим...
🤔5👍3🤯3😁1😱1
О-очень покладистая женщина. У неё давно на всё покладено.
🤯1
https://yearcompass.com/

A nice template for contemplating the old year and fantasizing about the upcoming one. At the very least it stirs up the thoughts of how nice and wise it all could have been... 😏
Язык слишком длинный чтобы усидеть во рту, но слишком короткий чтобы засунуть себе в жопу...
https://hott-uf.github.io/2025/
Workshop on Homotopy Type Theory / Univalent Foundations 2025
Genoa, Italy, 15–16 April 2025

They still collect submissions to the workshop.

* Abstract submission deadline: 7 February 2025
* Author notification: 10 March 2025

Submissions should consist of a title and a 1-2 pages abstract, in pdf format, via https://easychair.org/conferences/?conf=hottuf2025.

Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work.
👍2
https://pliss.org/2025/
Programming Language Implementation Summer School (PLISS)
May 26-31, 2025, Bertinoro Italy

Registration for participants is open, though it costs €500.

Check out the lecture topics. Looks like half of them touches hardware and CHERI specifically. Also Tomas Petricek tries to bring Programming Systems Research back into the vogue.
2025/07/10 20:57:47
Back to Top
HTML Embed Code: