No, way...
Turso, a Rust rewrite of SQLite that is approaching public beta, is actually experimenting with incremental view maintenance and query subscriptions.
I thought it was beyond hoping to get that kind of feature in SQLite, but we might be a lot closer than I thought.
@tur.so is insane! 🤩
Turso, a Rust rewrite of SQLite that is approaching public beta, is actually experimenting with incremental view maintenance and query subscriptions.
I thought it was beyond hoping to get that kind of feature in SQLite, but we might be a lot closer than I thought.
@tur.so is insane! 🤩
September 17, 2025 at 11:47 PM
No, way...
Turso, a Rust rewrite of SQLite that is approaching public beta, is actually experimenting with incremental view maintenance and query subscriptions.
I thought it was beyond hoping to get that kind of feature in SQLite, but we might be a lot closer than I thought.
@tur.so is insane! 🤩
Turso, a Rust rewrite of SQLite that is approaching public beta, is actually experimenting with incremental view maintenance and query subscriptions.
I thought it was beyond hoping to get that kind of feature in SQLite, but we might be a lot closer than I thought.
@tur.so is insane! 🤩
It keeps some intermediate on-disk state, yes. You can read more about the general approach here: www.vldb.org/pvldb/vol16/.... We did not actually use DBSP but were inspired by it and do some similar techniques.
www.vldb.org
February 25, 2025 at 7:42 AM
It keeps some intermediate on-disk state, yes. You can read more about the general approach here: www.vldb.org/pvldb/vol16/.... We did not actually use DBSP but were inspired by it and do some similar techniques.
Happy to see an article on DBSP/Feldera on one of my favorite distributed systems blogs.
Thanks for the shoutout @muratdemirbas.bsky.social!
Thanks for the shoutout @muratdemirbas.bsky.social!
[new blog post]
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
muratbuffalo.blogspot.com/2024/11/dbsp...
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
muratbuffalo.blogspot.com/2024/11/dbsp...
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
Incremental computation represents a transformative (!) approach to data processing. Instead of recomputing everything when your input chang...
muratbuffalo.blogspot.com
November 20, 2024 at 4:26 AM
Happy to see an article on DBSP/Feldera on one of my favorite distributed systems blogs.
Thanks for the shoutout @muratdemirbas.bsky.social!
Thanks for the shoutout @muratdemirbas.bsky.social!
We need to post this often to remind ourselves and each other.
Please share.
Please share.
January 12, 2025 at 12:20 AM
"Correctness at Feldera" talks about various correctness techniques, including:
- machine proof of the underlying DBSP algorithm
- differential testing of the implementation
https://www.feldera.com/blog/correctness-at-feldera
- machine proof of the underlying DBSP algorithm
- differential testing of the implementation
https://www.feldera.com/blog/correctness-at-feldera
Correctness at Feldera
In this blog post, we briefly describe our efforts and development processes that ensure Feldera's engine is correct.
www.feldera.com
January 13, 2025 at 4:49 PM
"Correctness at Feldera" talks about various correctness techniques, including:
- machine proof of the underlying DBSP algorithm
- differential testing of the implementation
https://www.feldera.com/blog/correctness-at-feldera
- machine proof of the underlying DBSP algorithm
- differential testing of the implementation
https://www.feldera.com/blog/correctness-at-feldera
Likewise! Having to compile a Rust program to use DD or DBSP is an implementation artifact though. PyDBSP is proof you don't need to do that. In the DCM project I shared before, I was JIT compiling SQL at interactive speeds too.
November 20, 2024 at 6:33 AM
Likewise! Having to compile a Rust program to use DD or DBSP is an implementation artifact though. PyDBSP is proof you don't need to do that. In the DCM project I shared before, I was JIT compiling SQL at interactive speeds too.
Did you know DBSP -- our theory that gives Feldera its incremental compute superpowers -- *is formally verified*? We machine checked every proof from the DBSP paper using the Lean theorem prover. github.com/tchajed/data...
(yes we take correctness seriously :))
(yes we take correctness seriously :))
November 15, 2024 at 4:54 PM
Did you know DBSP -- our theory that gives Feldera its incremental compute superpowers -- *is formally verified*? We machine checked every proof from the DBSP paper using the Lean theorem prover. github.com/tchajed/data...
(yes we take correctness seriously :))
(yes we take correctness seriously :))
The alternative is directly using differential dataflow or DBSP directly as libraries. The downside there is that you need to write and compile a Rust program which is 1) hard and 2) slow.
I’m curious to watch how the Python reimplementations (Bytewax and PyDBSP are the ones I know) evolve.
I’m curious to watch how the Python reimplementations (Bytewax and PyDBSP are the ones I know) evolve.
November 20, 2024 at 6:27 AM
The alternative is directly using differential dataflow or DBSP directly as libraries. The downside there is that you need to write and compile a Rust program which is 1) hard and 2) slow.
I’m curious to watch how the Python reimplementations (Bytewax and PyDBSP are the ones I know) evolve.
I’m curious to watch how the Python reimplementations (Bytewax and PyDBSP are the ones I know) evolve.
STICKERS Credits !!!
1) @torpordust.bsky.social
2) @christelled.bsky.social
3) DBSP
4) @celiahousset.bsky.social
5) Brecht Vandenbroucke
6) Tarmaz
7) mysterious guy
8) @mariespenale.bsky.social
9) unknown
10) @elmarraudino.bsky.social
11) @percevalrobin.bsky.social
1) @torpordust.bsky.social
2) @christelled.bsky.social
3) DBSP
4) @celiahousset.bsky.social
5) Brecht Vandenbroucke
6) Tarmaz
7) mysterious guy
8) @mariespenale.bsky.social
9) unknown
10) @elmarraudino.bsky.social
11) @percevalrobin.bsky.social
July 16, 2025 at 4:29 PM
STICKERS Credits !!!
1) @torpordust.bsky.social
2) @christelled.bsky.social
3) DBSP
4) @celiahousset.bsky.social
5) Brecht Vandenbroucke
6) Tarmaz
7) mysterious guy
8) @mariespenale.bsky.social
9) unknown
10) @elmarraudino.bsky.social
11) @percevalrobin.bsky.social
1) @torpordust.bsky.social
2) @christelled.bsky.social
3) DBSP
4) @celiahousset.bsky.social
5) Brecht Vandenbroucke
6) Tarmaz
7) mysterious guy
8) @mariespenale.bsky.social
9) unknown
10) @elmarraudino.bsky.social
11) @percevalrobin.bsky.social
In a recent open-access article published in PASP evidence for boosted and disrupted magnetic braking in post common envelope hot subdwarf B stars is presented. iopscience.iop.org/article/10.1....
December 17, 2024 at 1:11 PM
In a recent open-access article published in PASP evidence for boosted and disrupted magnetic braking in post common envelope hot subdwarf B stars is presented. iopscience.iop.org/article/10.1....
For anyone else trying to catch up on DBSP, my recommended flow of learning is:
1. Watch the talk: www.youtube.com/watch?v=omOH... (h/t @wslim.bsky.social)
2. Read the spec/book: mihaibudiu.github.io/work/dbsp-sp... (h/t @avi.im)
3. Read the VLDB paper
List is ordered by assumed knowledge of reader
1. Watch the talk: www.youtube.com/watch?v=omOH... (h/t @wslim.bsky.social)
2. Read the spec/book: mihaibudiu.github.io/work/dbsp-sp... (h/t @avi.im)
3. Read the VLDB paper
List is ordered by assumed knowledge of reader
August 19, 2025 at 9:21 PM
For anyone else trying to catch up on DBSP, my recommended flow of learning is:
1. Watch the talk: www.youtube.com/watch?v=omOH... (h/t @wslim.bsky.social)
2. Read the spec/book: mihaibudiu.github.io/work/dbsp-sp... (h/t @avi.im)
3. Read the VLDB paper
List is ordered by assumed knowledge of reader
1. Watch the talk: www.youtube.com/watch?v=omOH... (h/t @wslim.bsky.social)
2. Read the spec/book: mihaibudiu.github.io/work/dbsp-sp... (h/t @avi.im)
3. Read the VLDB paper
List is ordered by assumed knowledge of reader
１３日の２０時からポケットモンスターブリリアントダイヤモンドの配信をします。
チャンピオン倒したけど、まだちょっと行って無いところもあるので
今回は、そこに行ってみますね。
もうちょっとだけ続きますので
よかったら見に来てくださいね♪
#Pokémon
#ポケモン
#PokémonBD
#ポケモンBD
#ポケットモンスターブリリアントダイヤモンド
#ブリリアントダイヤモンド
#ポケットモンスター
#ポケモンDBSP
#PokémonBDSP
youtube.com/live/i8fasgb...
チャンピオン倒したけど、まだちょっと行って無いところもあるので
今回は、そこに行ってみますね。
もうちょっとだけ続きますので
よかったら見に来てくださいね♪
#Pokémon
#ポケモン
#PokémonBD
#ポケモンBD
#ポケットモンスターブリリアントダイヤモンド
#ブリリアントダイヤモンド
#ポケットモンスター
#ポケモンDBSP
#PokémonBDSP
youtube.com/live/i8fasgb...
【ポケットモンスター ブリリアントダイヤモンド＃13】リゾート【一魂イズミ（ゲーム実況）】
YouTube video by 一魂イズミCH
youtube.com
February 12, 2025 at 1:40 PM
１３日の２０時からポケットモンスターブリリアントダイヤモンドの配信をします。
チャンピオン倒したけど、まだちょっと行って無いところもあるので
今回は、そこに行ってみますね。
もうちょっとだけ続きますので
よかったら見に来てくださいね♪
#Pokémon
#ポケモン
#PokémonBD
#ポケモンBD
#ポケットモンスターブリリアントダイヤモンド
#ブリリアントダイヤモンド
#ポケットモンスター
#ポケモンDBSP
#PokémonBDSP
youtube.com/live/i8fasgb...
チャンピオン倒したけど、まだちょっと行って無いところもあるので
今回は、そこに行ってみますね。
もうちょっとだけ続きますので
よかったら見に来てくださいね♪
#Pokémon
#ポケモン
#PokémonBD
#ポケモンBD
#ポケットモンスターブリリアントダイヤモンド
#ブリリアントダイヤモンド
#ポケットモンスター
#ポケモンDBSP
#PokémonBDSP
youtube.com/live/i8fasgb...
Neat! Yeah we're tuning our LSM-tree merges right now as well, and have some fairly peculiar constraints given DBSP and the IVM context. Pretty cool area for algorithmic and systems work (any grad students looking for a project? :))
February 20, 2025 at 5:35 AM
Neat! Yeah we're tuning our LSM-tree merges right now as well, and have some fairly peculiar constraints given DBSP and the IVM context. Pretty cool area for algorithmic and systems work (any grad students looking for a project? :))
DBSP: Automatic Incremental View Maintenance for Rich Query Languages https://lobste.rs/s/5s4em5 ##databases ##rust ##distributed https://muratbuffalo.blogspot.com/2024/11/dbsp-automatic-incremental-view.html
November 20, 2024 at 8:20 PM
DBSP: Automatic Incremental View Maintenance for Rich Query Languages https://lobste.rs/s/5s4em5 ##databases ##rust ##distributed https://muratbuffalo.blogspot.com/2024/11/dbsp-automatic-incremental-view.html
Dis Bonjour Sale Pute (DBSP) lutte contre le harcèlement sexiste et sexuel dans l’espace public, les écoles et milieux festifs, en menant prévention, sensibilisation et accompagnement des victimes pour promouvoir l’égalité des genres et le bien-être de touste. 2/2
October 11, 2025 at 11:19 AM
Dis Bonjour Sale Pute (DBSP) lutte contre le harcèlement sexiste et sexuel dans l’espace public, les écoles et milieux festifs, en menant prévention, sensibilisation et accompagnement des victimes pour promouvoir l’égalité des genres et le bien-être de touste. 2/2
I haven't looked closely at the Unison side of things, but I imagine building it on top of a library like Volturno would be the way to go
or maybe I'll just try doing a toy in-memory version of DBSP in Haskell instead
or maybe I'll just try doing a toy in-memory version of DBSP in Haskell instead
June 29, 2025 at 9:16 PM
I haven't looked closely at the Unison side of things, but I imagine building it on top of a library like Volturno would be the way to go
or maybe I'll just try doing a toy in-memory version of DBSP in Haskell instead
or maybe I'll just try doing a toy in-memory version of DBSP in Haskell instead
https://m.youtube.com/watch?v=dbSPb0bFmms&pp=ygUPaGVhbHRoIGRlbWlnb2Rz
m.youtube.com
December 24, 2023 at 6:00 PM
Ok, y'all. This took me several weeks and a ton of help from @frankmcsherry.bsky.social and @lalithsuresh.bsky.social. I dug into timely dataflow, differential dataflow, and DBSP to get you up to speed on IVM engines and materialized views. Enjoy!
Everything You Need to Know About Incremental View Maintenance
An overview of incremental view maintenance, why it’s useful, and how you can implement it.
materializedview.io
April 18, 2025 at 6:30 PM
Ok, y'all. This took me several weeks and a ton of help from @frankmcsherry.bsky.social and @lalithsuresh.bsky.social. I dug into timely dataflow, differential dataflow, and DBSP to get you up to speed on IVM engines and materialized views. Enjoy!
Elden Ring is the lone single player game among all these live service, military, and sports slop (no shade to HD2 or DBSP)
When people say “gaming is so bad right now” keep in mind this is what most people play, they don’t look for good games, they just buy what’s popular
When people say “gaming is so bad right now” keep in mind this is what most people play, they don’t look for good games, they just buy what’s popular
January 30, 2025 at 5:58 PM
Elden Ring is the lone single player game among all these live service, military, and sports slop (no shade to HD2 or DBSP)
When people say “gaming is so bad right now” keep in mind this is what most people play, they don’t look for good games, they just buy what’s popular
When people say “gaming is so bad right now” keep in mind this is what most people play, they don’t look for good games, they just buy what’s popular
Wait.. there are two different DBSP papers?
www.vldb.org/pvldb/vol16/...
arxiv.org/pdf/2203.16684
The first credits 5 authors, the second only 4? They both have the same title... I'm confused. Which should I read?
www.vldb.org/pvldb/vol16/...
arxiv.org/pdf/2203.16684
The first credits 5 authors, the second only 4? They both have the same title... I'm confused. Which should I read?
April 9, 2025 at 4:30 PM
Wait.. there are two different DBSP papers?
www.vldb.org/pvldb/vol16/...
arxiv.org/pdf/2203.16684
The first credits 5 authors, the second only 4? They both have the same title... I'm confused. Which should I read?
www.vldb.org/pvldb/vol16/...
arxiv.org/pdf/2203.16684
The first credits 5 authors, the second only 4? They both have the same title... I'm confused. Which should I read?
In my POV, there was a decades long barrier to doing IVM well that the DBSP paper crossed (which is the foundation behind Feldera's IVM engine). You can learn more here: github.com/feldera/feld...
GitHub - feldera/feldera: The Feldera Incremental Computation Engine
The Feldera Incremental Computation Engine. Contribute to feldera/feldera development by creating an account on GitHub.
github.com
November 20, 2024 at 4:50 AM
In my POV, there was a decades long barrier to doing IVM well that the DBSP paper crossed (which is the foundation behind Feldera's IVM engine). You can learn more here: github.com/feldera/feld...
I recently found out about DBSP. Liked the formulation. Didn’t know it was built on timely dataflow!
November 26, 2024 at 2:16 PM
I recently found out about DBSP. Liked the formulation. Didn’t know it was built on timely dataflow!