Если кто-то другой удалил сообщение пока ты пытался удалить это сообщение — Telegram виснет и падает. Шёл 2025й год. Разработчики по-прежнему не знали, что делать с concurrency. 🤦♀️
👍5😁3🐳3❤1
https://www.forester-notes.org/index/index.xml
Jon Sterling (and Kento Okura as one can see) released his "mathematical hypertext"/Zettelkasten thing as a full-blown standalone project. And migrated it to the Sourcehut.
Jon Sterling (and Kento Okura as one can see) released his "mathematical hypertext"/Zettelkasten thing as a full-blown standalone project. And migrated it to the Sourcehut.
Forwarded from std::chrono::steady_clock::now().time_since_epoch().count() 🏳️🌈🏳️⚧️ (yuki 🌸 malinova)
👏5🤯1
https://www.youtube.com/watch?v=Vxx12whC0js
WOW, this was surprisingly good! Very good direction, good production, pretty good acting (considering it's a bit comedic film).
WOW, this was surprisingly good! Very good direction, good production, pretty good acting (considering it's a bit comedic film).
YouTube
SCP Academy | Part 001 - The Containment Breach
** WARNING This video contains sequences of intense flashing lights which may trigger seizures in those with photosensitive epilepsy **
Viewer Discretion is Advised.*
Dark Math Films is proud to officially present SCP Academy, Part 001: The Containment…
Viewer Discretion is Advised.*
Dark Math Films is proud to officially present SCP Academy, Part 001: The Containment…
Хороший армянский коньяк — единственный способ влачить хоть какое-то подобие существования для мыслящего русского человека в 2025 году!
❤3👍1👎1👏1🤔1
https://huaweiuk.teamtailor.com/jobs/2474908-programming-languages-principal-research-engineer
Huawei is looking for a Programming Languages Research Engineer in Edinburgh...
Huawei is looking for a Programming Languages Research Engineer in Edinburgh...
😁2👍1
I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations:
- The "Data Semantics" model.
- The two successive versions of the Z specification language.
- The remarkable B method and tools. One of the most spectacular achievements of practical formal methods was the groundbreaking verification of the security system of the Paris Metro's "Line 14".
A major loss for computer science.
Bertrand Meyer
😢
😢2
https://uu.varbi.com/en/what:job/jobID:832747/
A PhD position at Uppsala University (Sweden) on the topic of "Parametric Floating-Point Reasoning".
Floating-Points are still hard, but it's nice to know somebody works on their verification. 😁
A PhD position at Uppsala University (Sweden) on the topic of "Parametric Floating-Point Reasoning".
Floating-Points are still hard, but it's nice to know somebody works on their verification. 😁
Varbi
PhD student in Computing Science focusing on the topic of Parametric Floating-Point Reasoning
Are you interested in working in automated reasoning and/or interactive theorem proving, with the support of competent and friendly colleagues in an international environment? Are you looking for an e
❤1💩1
Если кто-то интересуется, то сообщаю, что Replit охуели:
https://replit.com/pricing
Теперь на бесплатном плане можно создать только 10 "приложений". Вообще, в принципе. Не задеплоить и запустить, а создать.
https://replit.com/pricing
Теперь на бесплатном плане можно создать только 10 "приложений". Вообще, в принципе. Не задеплоить и запустить, а создать.
replit
Pricing
Replit pricing
👍3
https://scp-wiki.wikidot.com/scp-6001
Surprisingly good and unexpectedly heartfelt. Though, maybe, it's just the right moment for me...
Surprisingly good and unexpectedly heartfelt. Though, maybe, it's just the right moment for me...
The SCP Foundation
SCP-6001 - SCP Foundation
The SCP Foundation's 'top-secret' archives, declassified for your enjoyment.
❤1😁1