Asymptotic speedup via effect handlers
D. Hillerström, S. Lindley, J. Longley
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
D. Hillerström, S. Lindley, J. Longley
https://www.cambridge.org/core/journals/journal-of-functional-programming/article/asymptotic-speedup-via-effect-handlers/296879DE2FD96FB6CF388F27978C76E4
Cambridge Core
Asymptotic speedup via effect handlers | Journal of Functional Programming | Cambridge Core
Asymptotic speedup via effect handlers - Volume 34
From Batch to Stream: Automatic Generation of Online Algorithms
We propose a new technique that converts batch processing programs (i.e., offline algorithms) to their online streaming version that takes one element at a time.
As a cool example, given the standard variance computation for a list of elements (left), our method can automatically generate Welford’s algorithm for online variance computation (right):
https://pbs.twimg.com/media/GMBpnclXcAEh9B9?format=jpg&name=4096x4096
Paper: https://arxiv.org/abs/2404.04743
Code: https://github.com/utopia-group/opera
We propose a new technique that converts batch processing programs (i.e., offline algorithms) to their online streaming version that takes one element at a time.
As a cool example, given the standard variance computation for a list of elements (left), our method can automatically generate Welford’s algorithm for online variance computation (right):
https://pbs.twimg.com/media/GMBpnclXcAEh9B9?format=jpg&name=4096x4096
Paper: https://arxiv.org/abs/2404.04743
Code: https://github.com/utopia-group/opera
Merklizing the key/value store for fun and profit
https://docs.canvas.xyz/blog/2023-05-04-merklizing-the-key-value-store.html
https://docs.canvas.xyz/blog/2023-05-04-merklizing-the-key-value-store.html
docs.canvas.xyz
Merklizing the key/value store for fun and profit | Canvas
A TypeScript runtime for distributed applications. Build decentralized applications, using the languages and databases you already know.
Distributed Snapshots: Chandy-Lamport protocol
https://blog.fponzi.me/2024-05-30-distributed-snapshots.html
https://blog.fponzi.me/2024-05-30-distributed-snapshots.html
blog.fponzi.me
Distributed Snapshots: Chandy-Lamport protocol
Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....
Control structures
Xavier Leroy
English translation, 2023-2024
https://xavierleroy.org/CdF/2023-2024/index.html
Xavier Leroy
English translation, 2023-2024
https://xavierleroy.org/CdF/2023-2024/index.html
What Goes Around Comes Around... And Around...
M. Stonebraker, A. Pavlo
It took three years to finish, but our follow-up to the 2006 "What Goes Around Comes Around" is finally out! Stonebraker and I examine the last 20 years in databases and discuss why relational databases + SQL will continue to remain on top.
https://db.cs.cmu.edu/papers/2024/whatgoesaround-sigmodrec2024.pdf
M. Stonebraker, A. Pavlo
It took three years to finish, but our follow-up to the 2006 "What Goes Around Comes Around" is finally out! Stonebraker and I examine the last 20 years in databases and discuss why relational databases + SQL will continue to remain on top.
https://db.cs.cmu.edu/papers/2024/whatgoesaround-sigmodrec2024.pdf
Forwarded from Alex Gryzlov
https://hal.science/hal-04535159/ Lesbre, Lemerre, [2024] "Compiling with abstract interpretation"
hal.science
Compiling with abstract interpretation
Rewriting and static analyses are mutually beneficial techniques: program
transformations change the intensional aspects of the program, and can thus
improve analysis precision, while some efficient transformations are enabled by specific
knowledge of…
transformations change the intensional aspects of the program, and can thus
improve analysis precision, while some efficient transformations are enabled by specific
knowledge of…
Forwarded from Sergey Sinchuk
Anyway, I'll allow myself to advertise Valera's course on constructive mathematics. It is available online at https://www.youtube.com/watch?v=EHYiB19EYFs&list=PLRtkLMXefuh8EiRRuc7Uz-k6NKIIWHJf8
However, probably some knowledge of Russian is required.
However, probably some knowledge of Russian is required.
YouTube
Лекция 1 | Конструктивные методы в алгебре и топологии | Валерий Исаев
11.07.2024
Конструктивная математика – это математика без аксиомы выбора и аксиомы исключенного третьего. Основная цель данного курса – это познакомить слушателей с данным видом математики и, возможно, развеять мифы, связанные с ней. Мы продемонстрируем…
Конструктивная математика – это математика без аксиомы выбора и аксиомы исключенного третьего. Основная цель данного курса – это познакомить слушателей с данным видом математики и, возможно, развеять мифы, связанные с ней. Мы продемонстрируем…
Forwarded from Nick Ivanych
Новая версия
Polynomial Functors: A Mathematical Theory of Interaction
https://arxiv.org/abs/2312.00990
Что там, не смотрел, но скорее всего, что исправления мелких багов.
Polynomial Functors: A Mathematical Theory of Interaction
https://arxiv.org/abs/2312.00990
Что там, не смотрел, но скорее всего, что исправления мелких багов.
Concurrent Data Structures Made Easy
C. Le, K. Gopinathan, K. Wen Lee, S. Gilbert, I. Sergey.
https://ilyasergey.net/assets/pdf/papers/obatcher-oopsla24.pdf
https://github.com/verse-lab/obatcher_ds/tree/paper-artefact
https://x.com/ilyasergey/status/1829026676623454661
C. Le, K. Gopinathan, K. Wen Lee, S. Gilbert, I. Sergey.
https://ilyasergey.net/assets/pdf/papers/obatcher-oopsla24.pdf
https://github.com/verse-lab/obatcher_ds/tree/paper-artefact
https://x.com/ilyasergey/status/1829026676623454661
Soundly Handling Linearity
W. Tang, D. Hillerström, S. Lindley, and J. G. Morris
https://blog.sigplan.org/2024/08/12/soundly-handling-linearity/
https://dl.acm.org/doi/10.1145/3632896
W. Tang, D. Hillerström, S. Lindley, and J. G. Morris
https://blog.sigplan.org/2024/08/12/soundly-handling-linearity/
https://dl.acm.org/doi/10.1145/3632896
SIGPLAN Blog
Soundly Handling Linearity
Programming languages can statically ensure that certain resources are used exactly once through a linear type system based on Girard’s linear logic. Typical linear type systems track the num…
Swift: Error Handling Rationale
https://github.com/swiftlang/swift/blob/9315673c003875158852579bd1f33480cdec5461/docs/ErrorHandlingRationale.md#fundamentals
https://github.com/swiftlang/swift/blob/9315673c003875158852579bd1f33480cdec5461/docs/ErrorHandlingRationale.md#fundamentals
GitHub
swift/docs/ErrorHandlingRationale.md at 9315673c003875158852579bd1f33480cdec5461 · swiftlang/swift
The Swift Programming Language. Contribute to swiftlang/swift development by creating an account on GitHub.
https://stringdiagram.com/wp-content/uploads/2024/08/graphicaltheoryofmonadsv2.0.pdf
The graphical theory of monads
R. Hinze, D. Marsden
Warning: requires some background, not a monad tutorial.
The graphical theory of monads
R. Hinze, D. Marsden
Warning: requires some background, not a monad tutorial.
Capabilities for Control — ICFP 2024
M. Odersky
https://www.youtube.com/live/F70QZaMoYJQ?feature=shared&t=2090
34:50
M. Odersky
https://www.youtube.com/live/F70QZaMoYJQ?feature=shared&t=2090
34:50
YouTube
[ICFP'24] Green - ICFP Papers and Events (Sep 4th)
Full Program: https://icfp24.sigplan.org/track/icfp-2024-papers?track=ICFP%20%20Papers%20and%20Events%2BICFP%20JFP%20First%20Papers%2BICFP%20Catering%2BICFP%20%20Programming%20Contest#program
Live transcription: https://121captions.1capapp.com/event/icfp
Live transcription: https://121captions.1capapp.com/event/icfp