#Tag
Redis-Automerge - by Michel Pelletier
https://github.com/michelp/redis-automerge
A #Redis module (written in #Rust 
) that integrates #Automerge #CRDT (Conflict-free Replicated Data Type) documents into Redis, providing JSON-like document storage with automatic conflict resolution.
Redis-Automerge - by Michel Pelletier
https://github.com/michelp/redis-automerge
A #Redis module (written in #Rust ) that integrates #Automerge #CRDT (Conflict-free Replicated Data Type) documents into Redis, providing JSON-like document storage with automatic conflict resolution.
The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
cyclic-structures.gitlab.io/school2026/
Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.
#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris
The 2026 Netherlands Winter School on Logic and Verification will take place Tuesday 20-Friday 23 January, 2026 at University of Twente. The school provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
cyclic-structures.gitlab.io/school2026/
Please consider registering! If you're a PhD student registered with the IPA school it will (very likely) be possible to get the costs reimbursed, but anyone with their own funding is welcome too.
#Logic #Verification #TypeTheory #CategoryTheory #Coinduction #SessionTypes #Concurrency #Rocq #Agda #Iris
Go beyond Goroutines: introducing the Reactive paradigm
https://samuelberthe.substack.com/p/go-beyond-goroutines-introducing
#HackerNews #Go #Goroutines #ReactiveParadigm #Programming #Concurrency #SoftwareDevelopment
Async Concurrency relates to Multi-threaded Concurrency
the same as
Manual Memory Management relates to Garbage Collection
(at least in systems languages like #Rust)
#SoftwareEngineering #Concurrency #Async #Comparison #RustLang
Async Concurrency relates to Multi-threaded Concurrency
the same as
Manual Memory Management relates to Garbage Collection
(at least in systems languages like #Rust)
#SoftwareEngineering #Concurrency #Async #Comparison #RustLang
parking_lot: ffffffffffffffff…, https://fly.io/blog/parking-lot-ffffffffffffffff/.
Excellent article from the Fly.io team about a locking bug they encountered in their codebase, and how it has resulted in a bug fix in parking_lot. Well written.
Kudos to the engineers involved.
parking_lot: ffffffffffffffff…, https://fly.io/blog/parking-lot-ffffffffffffffff/.
Excellent article from the Fly.io team about a locking bug they encountered in their codebase, and how it has resulted in a bug fix in parking_lot. Well written.
Kudos to the engineers involved.
A space for Bonfire maintainers and contributors to communicate
