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
SSA Translation is an Abstract Interpretation
M. Lemerre, POPL 2023
https://binsec.github.io/assets/publications/papers/2023-popl-full-with-appendices.pdf
M. Lemerre, POPL 2023
https://binsec.github.io/assets/publications/papers/2023-popl-full-with-appendices.pdf
👍2🤔1🎉1
Cool fresh videos from ONWARD and HATRA conferences:
https://youtube.com/playlist?list=PLyrlk8Xaylp5Ak7xXMJ8JG5Iddwrv1QyA
https://youtube.com/playlist?list=PLyrlk8Xaylp5dv_C73GKv_rM1LVkMD0TD
https://youtube.com/playlist?list=PLyrlk8Xaylp5Ak7xXMJ8JG5Iddwrv1QyA
https://youtube.com/playlist?list=PLyrlk8Xaylp5dv_C73GKv_rM1LVkMD0TD
👏1
A Theory of Formal Choreographic Languages
Franco Barbanera, Ivan Lanese, Emilio Tuosto
https://arxiv.org/abs/2210.08223
Franco Barbanera, Ivan Lanese, Emilio Tuosto
https://arxiv.org/abs/2210.08223
👎1
We've teamed up with Kyle Kingsbury, author of Jepsen, to build this series of distributed systems challenges so you can try your hand and see how your skills stack up.
https://fly.io/dist-sys/
https://fly.io/dist-sys/
Fly
Fly.io Distributed Systems Challenge
Documentation and guides from the team at Fly.io.
👍7🤔1
Continuation-Passing to Direct Style: Typed and Tight
https://se.cs.uni-tuebingen.de/publications/mueller23continuation/
https://se.cs.uni-tuebingen.de/publications/mueller23continuation/
🤯1
The Usability of Advanced Type Systems: Rust as a Case Study
Written Report for PhD Research Exam
https://arxiv.org/abs/2301.02308
Written Report for PhD Research Exam
https://arxiv.org/abs/2301.02308
👍1
Free Variables and Free Effects: an elementary introduction to algebraic effects and handlers
https://okmij.org/ftp/Computation/variables-effects.html
https://okmij.org/ftp/Computation/variables-effects.html
okmij.org
Free Variables and Free Effects
An elementary introduction to algebraic effects and handlers, and two different ways of dealing with free variables
👍2🤔1
Effects and Effect Handlers for Programmable Inference, 2023
M. Nguyen, R. Perera, M. Wang, S. Ramsay
https://arxiv.org/abs/2303.01328
M. Nguyen, R. Perera, M. Wang, S. Ramsay
https://arxiv.org/abs/2303.01328
👍2🤔1
CSE 22-15 Grupp 22-21.pdf
1.3 MB
A Language for Board Games
Development of an Embedded Domain-Specific Language
for Describing Board Games
https://gupea.ub.gu.se/bitstream/handle/2077/75394/CSE%2022-15%20Grupp%2022-21.pdf
Development of an Embedded Domain-Specific Language
for Describing Board Games
https://gupea.ub.gu.se/bitstream/handle/2077/75394/CSE%2022-15%20Grupp%2022-21.pdf
🤔7
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees, 2022
A. Mokhov
https://arxiv.org/abs/2202.09230
A. Mokhov
https://arxiv.org/abs/2202.09230
🤯2🎉1
HasChor: Functional Choreographic Programming for All (Functional Pearl), 2023
G. Shen, S. Kashiwa, L. Kuper
https://arxiv.org/abs/2303.00924
G. Shen, S. Kashiwa, L. Kuper
https://arxiv.org/abs/2303.00924
👍3👎1🤔1