Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
chucke1992
on Jan 16, 2024
|
parent
|
context
|
favorite
| on:
We switched to Java 21 virtual threads and got a d...
Personally I am curious how these features like virtual threads are tested when developed.
kaba0
on Jan 16, 2024
[–]
The model has been extensively tested in TLA+, which can reason about all possible timing combinations, among other things.
chucke1992
on Jan 16, 2024
|
parent
[–]
Oh. Interesting. Never heard of it.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
