diff --git a/nontech/politics/people/dudnik.txt b/nontech/politics/people/dudnik.txt index 9ba773e1b..11c04aca6 100644 --- a/nontech/politics/people/dudnik.txt +++ b/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 diff --git a/pl/cross/llvm/docs/articles.txt b/pl/cross/llvm/docs/articles.txt index 01d35304f..022f924f6 100644 --- a/pl/cross/llvm/docs/articles.txt +++ b/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 diff --git a/pl/hs/ghc/ghc-whatsnew.txt b/pl/hs/ghc/docs/whatsnew.txt similarity index 64% rename from pl/hs/ghc/ghc-whatsnew.txt rename to pl/hs/ghc/docs/whatsnew.txt index 892e7598f..456a31717 100644 --- a/pl/hs/ghc/ghc-whatsnew.txt +++ b/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 diff --git a/pl/java/jdk/future/crac.txt b/pl/java/jdk/future/crac.txt new file mode 100644 index 000000000..fa4b66b45 --- /dev/null +++ b/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 diff --git a/pl/publishing/tex/latex/samples/science.txt b/pl/publishing/tex/latex/samples/science.txt new file mode 100644 index 000000000..6ee7f6841 --- /dev/null +++ b/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. + +