https://www.cs.ox.ac.uk/people/samuel.staton/papers/popl23.pdf Dash, Kaddar, Paquet, Staton, "Affine monads and lazy structures for Bayesian programming"
https://lazyppl.bitbucket.io/
https://lazyppl.bitbucket.io/
🤔1
Higher-Order Leak and Deadlock Free Locks
by Jules Jacobs, Stephanie Balzer
https://julesjacobs.com/pdf/locks.pdf
by Jules Jacobs, Stephanie Balzer
https://julesjacobs.com/pdf/locks.pdf
👏5
Forwarded from Sergey Bronnikov
Похоже JB решили реанимировать семинары
[JB-PLT Seminar] Weak Memory Models 101 (Anton Podkopaev)
In this talk, we introduce weak memory concurrency, consider requirements imposed on PL memory models, and examine ones used by industry (C11 [Batty-al:POPL11] and Java [Manson-al:POPL05]) and their drawbacks. Then, we explore new memory models (RC11 [Lahav-al:PLDI17], MRD [Paviotti-al:ESOP20], Promising 1.0 [Kang-al:POPL17], Promising 2.0 [Hwan-al:PLDI20], Weakestmo [Chakraborty-Vafeiadis:POPL19]) proposed as a solution for the drawbacks: what these models provide, which compromises they take, how expensive performance-wise, if at all, these compromises are, and how hard is to adapt the models for mainstream languages.
When: November, 21, 16:00 (CET)
Where: online. Google Meet: https://meet.google.com/myu-dhmz-gvu
[JB-PLT Seminar] Weak Memory Models 101 (Anton Podkopaev)
In this talk, we introduce weak memory concurrency, consider requirements imposed on PL memory models, and examine ones used by industry (C11 [Batty-al:POPL11] and Java [Manson-al:POPL05]) and their drawbacks. Then, we explore new memory models (RC11 [Lahav-al:PLDI17], MRD [Paviotti-al:ESOP20], Promising 1.0 [Kang-al:POPL17], Promising 2.0 [Hwan-al:PLDI20], Weakestmo [Chakraborty-Vafeiadis:POPL19]) proposed as a solution for the drawbacks: what these models provide, which compromises they take, how expensive performance-wise, if at all, these compromises are, and how hard is to adapt the models for mainstream languages.
When: November, 21, 16:00 (CET)
Where: online. Google Meet: https://meet.google.com/myu-dhmz-gvu
Google
Real-time meetings by Google. Using your browser, share your video, desktop, and presentations with teammates and customers.
👍2
Building the fastest Lua interpreter.. automatically!
https://sillycross.github.io/2022/11/22/2022-11-22/
https://sillycross.github.io/2022/11/22/2022-11-22/
sillycross.github.io
Building the fastest Lua interpreter.. automatically!
This is Part 1 of a series of posts. Part 2 is available here: Building a baseline JIT for Lua automatically It is well-known that writing a good VM for a dynamic language is never an easy job. High
👍3
Reconciling Shannon and Scott with a Lattice of Computable Information
Sebastian Hunt, David Sands, Sandro Stucki
https://arxiv.org/abs/2211.10099
Sebastian Hunt, David Sands, Sandro Stucki
https://arxiv.org/abs/2211.10099
👍1👎1🤔1
В 18-м году здесь мы упоминали язык flix, https://flix.dev/. Уже можно сказать, что с языком все хорошо, люди над языком работают, компетенции им, видимо, хватает, релизы релизятся https://twitter.com/flixlang/status/1596035647000948736
Сам язык с академической точки зрения довольно интересный; помимо того, что написано на главной странице, можно еще почитать эту работу 2020-го года:
https://flix.dev/paper/oopsla2020b.pdf
Сам язык с академической точки зрения довольно интересный; помимо того, что написано на главной странице, можно еще почитать эту работу 2020-го года:
https://flix.dev/paper/oopsla2020b.pdf
👍8👏4
🎉4
https://srfi.schemers.org/srfi-226/srfi-226.html
An attempt to rethink how the continuations are built in Scheme. One of the reasons for that rethink was the famous argument of Oleg against call/cc. Why does it matter: that is a bleeding edge of the control flow stuff. Today in Scheme,tomorrow in 10 years — everywhere.
An attempt to rethink how the continuations are built in Scheme. One of the reasons for that rethink was the famous argument of Oleg against call/cc. Why does it matter: that is a bleeding edge of the control flow stuff. Today in Scheme,
👍4👎1
Beyond Functional Programming: The Verse Programming Language (December 2022)
https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf
https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf
🤔7
https://vxtwitter.com/EgbertRijke/status/1605798086462373888
https://mathstodon.xyz/@egbertrijke/109555699321931029
https://arxiv.org/abs/2212.11082
https://mathstodon.xyz/@egbertrijke/109555699321931029
https://arxiv.org/abs/2212.11082
vxTwitter / fixvx
💖 837 🔁 189
💖 837 🔁 189
Egbert Rijke (@EgbertRijke)
It is my pleasure to announce that my textbook Introduction to Homotopy Type Theory is finished and available on the ArXiv 🎉
It will be published by Cambridge University Press in the Cambridge Studies in Advanced Mathematics series.
https://arxiv.org/abs/2212.11082
It will be published by Cambridge University Press in the Cambridge Studies in Advanced Mathematics series.
https://arxiv.org/abs/2212.11082
Интервью quanta с Лесли Лампортом
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517
Quanta Magazine
How to Write Software With Mathematical Perfection
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
👍7🤔4
https://www.routledgehandbooks.com/doi/10.1201/b16132-3 Wilson, [2013] "History of Graph Theory"
Routledgehandbooks
Handbook of Graph Theory
<P>In the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published <EM>each year</EM>. Reflecting these advances, <STRONG>Handbook of Graph Theory, Second Edition</STRONG> provides comprehensive…
🤔1
Forwarded from Sergey Bronnikov
https://github.com/eskang/validAlloy/blob/master/presentation/final_milestone/validalloy.pdf
Забавно: ребята решили сделать формальную модель для Git на Alloy и для уточнения модели генерируют тесткейсы, с помощью которых проверяют валидность модели.
Забавно: ребята решили сделать формальную модель для Git на Alloy и для уточнения модели генерируют тесткейсы, с помощью которых проверяют валидность модели.
GitHub
validAlloy/presentation/final_milestone/validalloy.pdf at master · eskang/validAlloy
A tool for validating Alloy specifications using test-case generation - eskang/validAlloy
🤔4👍3🤩1
http://noamz.org/oplss16/refinements-notes.pdf Zeilberger, [2016] "Principles of Type Refinement"
👍4
👍5👏2