https://www.youtube.com/watch?v=FDY2McKLvlM
Interesting how people leave and die in other places... Varying relations to water are also curious.
Interesting how people leave and die in other places... Varying relations to water are also curious.
YouTube
The Surprising Solutions to the World's Water Crisis | The Future With Hannah Fry
Our survival depends on water, yet global reserves are rapidly shrinking. It's now replaced oil as the most likely cause of global conflict. Can technology help secure humanity's future water needs?
Do you want to know what your future holds? A life beyond…
Do you want to know what your future holds? A life beyond…
Java programmers are reinventing profunctor optics. At the very least they've made an Enterprise Review:
https://mapstruct.org/
😂
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.
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.
YouTube
BIGFOOT KICKSTARTER JUST LAUNCHED!!! | A FILM BY SURVIVORMAN LES STROUD
https://www.kickstarter.com/projects/lesstroud/the-question-of-bigfoot?ref=2zt7i7 OK SO HERE WE GOOOOO! Those of you who have an interest in the subject matter have been asking me for years to dive back into the arena. Well, here’s your chance to come with…
👌1
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
OK, it's more clear now why Amazon hired Leonardo de Moura...
#lean #verification guided development
Amazon
Lean Into Verified Software Development | Amazon Web Services
We built a formal model of Cedar in Lean, and proved that Cedar’s components satisfy key safety and security properties.
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
https://www.youtube.com/watch?v=bBxwe2_vEpo
https://www.youtube.com/watch?v=4dEcEVYjF1I
https://www.youtube.com/watch?v=mdh9N2h7x5g
https://www.youtube.com/watch?v=uHXNdO48teA
https://www.youtube.com/watch?v=rHe0h79Mcmo
https://www.youtube.com/watch?v=nfhmjFS8HlI
https://www.youtube.com/watch?v=2jRTwwP42K4
A fascinating and heartfelt retrospective on Clint Eastwood's career as a director.
The legend is 94 and still rocking.
https://www.youtube.com/watch?v=4dEcEVYjF1I
https://www.youtube.com/watch?v=mdh9N2h7x5g
https://www.youtube.com/watch?v=uHXNdO48teA
https://www.youtube.com/watch?v=rHe0h79Mcmo
https://www.youtube.com/watch?v=nfhmjFS8HlI
https://www.youtube.com/watch?v=2jRTwwP42K4
A fascinating and heartfelt retrospective on Clint Eastwood's career as a director.
The legend is 94 and still rocking.
YouTube
Clint Eastwood: A Cinematic Legacy | Episode 1: A Director's Vision | Warner Classics
For most actors, being the biggest movie star in the world would be enough. Not Clint Eastwood. As a young actor, he spent every spare moment off camera studying directors Don Siegel (Dirty Harry) and Sergio Leone (The Good, the Bad and the Ugly). Having…
https://www.youtube.com/watch?v=QX6Sv-tTbPo
This is both beautiful and enlightening. And check out the references in the description panel.
This is both beautiful and enlightening. And check out the references in the description panel.
YouTube
What's Hiding in Melting Glaciers?
Glaciers are the Earth's memory- preserving landscapes, artifacts, and events of the past. What will we forget as the ice melts?
Special thanks to those who made this project possible:
Eric Matt: https://www.ericmattphotography.com/
https://www.instagra…
Special thanks to those who made this project possible:
Eric Matt: https://www.ericmattphotography.com/
https://www.instagra…
https://dmkpress.com/catalog/nauchno-populyarnaya-seriya/978-5-93700-314/
Не читал, но одобряю.
Выглядит как книжка "для самых маленьких" — в конце концов, она рассматривает фокусы и объясняет Computer Science "на пальцах" — но на самом деле затрагивает темы, с которыми не все "взрослые программисты" знакомы, например, аксиоматическую семантику Флойда-Хоара-Дейкстры и доказательства корректности программ, инфобез и HCI. За компанию знакомит с краткими биографиями некоторых видных (и не очевидных) фокусников и компьютерщиков. Полезно для общего развития.
#book #computerscience #education
Не читал, но одобряю.
Выглядит как книжка "для самых маленьких" — в конце концов, она рассматривает фокусы и объясняет Computer Science "на пальцах" — но на самом деле затрагивает темы, с которыми не все "взрослые программисты" знакомы, например, аксиоматическую семантику Флойда-Хоара-Дейкстры и доказательства корректности программ, инфобез и HCI. За компанию знакомит с краткими биографиями некоторых видных (и не очевидных) фокусников и компьютерщиков. Полезно для общего развития.
#book #computerscience #education
Dmkpress
Волшебство и вычисления. Практическое пособие для начинающих фокусников и программистов
Купить книгу «Волшебство и вычисления. Практическое пособие для начинающих фокусников и программистов», автора Керзон П. в издательстве «ДМК Пресс». Выгодные цены в Москве, доставка. Заказать книги и учебники на официальном сайте издательства.
👍2
One Fibery tab eats up 2GiB RAM in my Firefox. Three long-lived tabs accrued 5GiB RAM last week. Impressive job, folks.
😁1
https://www.preventionweb.net/news/take-part-disaster-safety-champion-quiz
An easy little quiz on what (not) to do during various natural disasters. But I've missed one... 😏
An easy little quiz on what (not) to do during various natural disasters. But I've missed one... 😏
www.preventionweb.net
Take part in the disaster safety champion quiz
Get ready to test your knowledge with a fun and engaging quiz on disaster preparedness!
Купил ведро краски, в котором плавал герметичный контейнер с деньгами. Наличкой. Типа, гарантия от вскрытия — если бы кто-то вскрывал, то спиздил бы деньги. Ну, допустим...
🤔5👍3🤯3😁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... 😏
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... 😏
Yearcompass
YearCompass | The booklet that helps close your year and plan the next one.
Язык слишком длинный чтобы усидеть во рту, но слишком короткий чтобы засунуть себе в жопу...
https://sbaziotis.com/compilers/dias.html
That's dope. It automatically rewrites your Pandas code in a (much) more optimized way, so you don't have to (but you can, if you want to).
That's dope. It automatically rewrites your Pandas code in a (much) more optimized way, so you don't have to (but you can, if you want to).
Stefanos Baziotis' website
Dias: Automatically Rewriting Pandas for 1000x Speedups
Dias is a novel, extremely lightweight, and yet effective, optimizer of Pandas code, catered to EDA workloads.
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.
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.
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.