Show more

This video has English dub. It is called "Europe, dig trenches". Watch it and share it.

youtube.com/watch?v=1cKSjqbSEw

*cough*, if you're looking for Christmas presents, do consider Blue Machine.

"An absolutely beautiful book, exquisitely written and opening up a whole new world of information about our oceans."

lovereading.co.uk/book/9781911

Also an FT and Times science book of the year.

#books #ocean #science

youtube.com/watch?v=akkZMhG-P0

I'm crying so much right now. I hope these people are safe and will be saved.

Ukraine needs weapons, stingers, manpads, rpgs, artillery.

Support Ukraine 🇺🇦

@markwilde Physicist here - once I had to appeal a referee report at Physiscal Review Letters which justified rejection with essentially the same argument - not enough technical complexity even though the results are new & impactful. Fortunatelly, the senior editor overruled the rejection.
Insightful simplicity is most difficult and often looses to technical sophistication.

lasāmais lustīgs kā uz vāka redzamā dance macabre - Dr. Gustava Strengas zvērīgi pamatīgais, bet raitais pētījums par mirušo piemiņu "Collective Memory and Commemoration in Late Medieval Livonia." Pasaules līmenis + māju sajūta un visādas dīvainas un amizantas detaļas, kas atkal liek saprast, cik ļoti citādāks bija šis laiks, par kuru mums jau divsimts gadus ir it kā zināms priekšstats un spriedums. pdf izdevēju mājaslapā legāli par baltu velti - kā zinātnei būtu jābūt.

I cannot recommend logseq if you have critical data and synchronize between multiple devices using iCloud. I have consistently had data loss.

Ukraine launches public database tracking foreign components in russian, iranian weaponry

The War and Sanctions portal currently features a list of over 2000 components that russia and iran utilize in various missiles, UAVs, electronic warfare systems, and numerous other forms of weaponry and military technology

The world's first open database of foreign components in weapons.

Visit the site here🔗 sanctions.nazk.gov.ua/en/milit

#Ukraine 🇺🇦 #SlavaUkraini
#StandWithUkraine #RussiaIsATerroristState

If you stop Russia, you stop Iran, Hamas. Assad, Houthis, Venezuela, Sudan crisis. You liberate Belarus and Chechnya. End this monster already

Trying a different style of video. Am half expecting it to become troll bait. youtu.be/AI8rWvxIOK8

I'm infinitely privileged to have been able to attend @SlavaVK's lectures in mathematical summer school in Latvia, and infinitely grateful to him for his adamant stance to protect the children from child abuse.

I'm uploading my Advent of Code 2023 solutions in OCaml to YouTube!

Day 1, Part 1 is already published 🐫🔥

Please, support me by reposting if you want to see more! This really motivates me to keep going and continue producing educational content 🙏

The first video is the recording of my stream on Twitch.
In this video, I also provide a beginner OCaml tutorial, including:

🔰 How to set up an OCaml project with 'dune'
🔰 How to compile and run an OCaml project
🔰 Basic OCaml syntax
🔰 How to use 'utop' (an OCaml REPL)
🔰 How to use OCaml docs efficiently
🔰 How to solve algorithmic puzzles from the first try

Special thanks to my wonderful wife Kate for her support and masterful editing skills 💛

I already created a playlist with current (and all future) solutions.

And your appreciation means the world to me! 🌏

Enjoy watching and happy coding 🤗

youtube.com/playlist?list=PLOJ

I'm so sad that I need to post some zionist guy's content to remind hamas supporters who still follow me of common sense, but... Repeat after me: Gaza 👏 strip 👏 has 👏 a border 👏 with 👏 Egypt. The zionist guy made a clearly labeled map for y'all if Google Maps is too hard to operate.

youtu.be/LGOSrl3UPUg?feature=s

My follow list shrinks day by day as more and more people forget about what happened on October the 7th. One thing is to oppose the way that Israel is conducting the defensive war against hamas and the other thing is to support hamas by siding with those calling for extermination of Jews. Israel is a fascist state, but fascist states also have the right to defend and trust me, bibi and his thugs won't last long at the helm anymore.

Here's something for those hamas supporters that still read me somehow.

youtube.com/watch?v=LGOSrl3UPU

With this full implementation of term-to-type is completed[1], thanks to 's funding. Honestly, the stuff Mr. Zavialov, soon-to-be-Dr. Rogozin and others have done for over past half-decade may be quiet, but also quite impressive.

Long live , the most level-headed option for strong typing in production.

[1]: gitlab.haskell.org/ghc/ghc/-/c

Show more
Doma Social

Mastodon server of https://doma.dev.