m

nontech/politics/people/dudnik.txt

@@ -1,5 +1,7 @@
 2023
-USLawAndOrder - Dudnik - Tulin - 11.29 of ...
+USLawAndOrder - Dudnik - Dubinskiy - 12.01 of 50:32
+    https://www.youtube.com/watch?v=KokgoATYHo0
+USLawAndOrder - Dudnik - Tulin - 11.29 of 1:09:51
     https://www.youtube.com/watch?v=VHupFGUAa-s
 USLawAndOrder - Dudnik - Alex Avni - 11.27 of 44:24
     https://www.youtube.com/watch?v=mltLk44BCfM

pl/cross/llvm/docs/articles.txt

@@ -12,6 +12,7 @@ https://habrahabr.ru/post/336980/
 https://habrahabr.ru/post/337240/
 
 2023
+https://mcyoung.xyz/2023/08/01/llvm-ir/
 https://habr.com/ru/post/714838/
 https://habr.com/ru/post/713434/
     https://github.com/dc-sinpo/simple/tree/part01

pl/hs/ghc/docs/whatsnew.txt

@@ -1,3 +1,7 @@
 https://ghc.haskell.org/trac/ghc/blog/ghc-8.0.1-released
 https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_guide/8.0.1-notes.html
 https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0
+
+2023
+HIW23 - SimonPJ - GHC status report 0:00 of 1:22:00
+    https://www.youtube.com/watch?v=LFIL0myeOlo

pl/java/jdk/future/crac.txt

@@ -0,0 +1,5 @@
+https://docs.azul.com/core/crac/crac-introduction
+
+2023
+DanVega - Introduction to Project CRaC: Enhancing Runtime Efficiency in Java & Spring Development 0:00 of 31:26
+    https://www.youtube.com/watch?v=sVXUx_Y4hRU

pl/publishing/tex/latex/samples/science.txt

@@ -0,0 +1,31 @@
+2023
+https://arxiv.org/abs/2311.14452
+    \begin{minipage}[t]{0.45\linewidth}
+    \begin{rustcode}
+    // assume connection to node B in socket
+    fn node_a(socket: &mut TcpStream) {
+      let mut ctr = 0;
+      loop {
+        // send
+        (*\codehl{socket.send(ctr)}*)socket.send(ctr);(*\label{loc:impl:a-send}*)
+        // wait for response, with timeout
+        match (*\codehl{socket.recv\_timeout()}*)socket.recv_timeout()(*\label{loc:impl:a-recv}*) {
+          Some((n, resp)) if ctr == n =>
+            { ctr += 1; }
+          None => {}
+        }
+      }
+    }\end{rustcode}
+    \end{minipage} \;
+    ...
+    \begin{rustcode}
+    fn init(state: SystemState) -> bool {
+      state.a_ctr == 0 (*\codepoint{A}*)
+      && state.b_work == None (*\codepoint{B}*)
+      && state.a_to_b == Seq::empty() && state.b_to_a == Seq::empty() (*\codepoint{C}*)
+    }
+    \end{rustcode}
+
+    \noindent The \code{init} predicate requires \codepoint{A} that the counter is initialised to zero, \codepoint{B} that node B is initially not performing any computation, and \codepoint{C} that both channels are empty.
+
+