Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
callbacker
on July 27, 2023
|
parent
|
context
|
favorite
| on:
BlazingMQ: High-performance open source message qu...
One of the authors here. Thanks for pointing that out. TLA+ spec can be found here --
https://github.com/bloomberg/blazingmq/tree/main/etc/tlaplus
.
amelius
on July 27, 2023
[–]
How is this "deliberately avoiding any formal specification or proof"?
peheje
on July 27, 2023
|
parent
[–]
I think they are referring to the specific section below the notice.
callbacker
on July 28, 2023
|
root
|
parent
[–]
Correct
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
