/explore
|
You are here 
|
aturon.github.io | ||
| | | | |
github.com
Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays - smarr/are-we-fast-yet |
|
| | | | | ||
| | | | |
blog.sigplan.org
For decades, researchers have syntactically proved type soundness to establish their type system works. This post shows why a semantic notion of type soundness is more appropriate, for covering abs... |
|
| | | | | ||
| | | | |
sookocheff.com
Writing correct programs is hard; writing correct concurrent programs is harder. Java Concurrency in Practice. So, why bother with concurrency? A number of reasons: Concurrency provides a natural method for composing asynchronous code. Concurrency allows your program to avoid blocking user operations. Concurrency provides one of the easiest ways take advantage of multi core systems. As processor counts increase, exploiting concurrency will be an even more important facet of high performance systems. |
|
| | | | | ||
| | | | |
blog.yoshuawuyts.com
[AI summary] A deep dive into async Rust's cancellation mechanics, covering futures, tasks, propagation issues, structured concurrency, and future language directions. |
|
| | | |||
