#prog #article
On 'function coloring'
On 'function coloring'
Exposing asynchrony in our programming model does create a distinction between two different kinds of functions. But that distinction always existed, it just wasn’t visible. It was just always handled on our behalf.
Tedinski
On 'function coloring'
How much of a problem is it to sharply distinguish between different kinds of functions?
👍5❤1🤔1
Йей, ещё один ваншот провёл. Игроки довольны и хотят продолжения — благо, оно есть.
Приятно.
Приятно.
❤9💩2🔥1🤮1🤡1
Forwarded from AlexTCH
We have a new, 7th (sic!) volume of Software Foundations: Security Foundations
https://softwarefoundations.cis.upenn.edu/secf-current/index.html
Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. And that's not even all, as the volume is still in progress, and some new chapters are upcoming.
#free #book #verification
https://softwarefoundations.cis.upenn.edu/secf-current/index.html
Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. And that's not even all, as the volume is still in progress, and some new chapters are upcoming.
#free #book #verification
❤10
#prog #article
How uv got so fast
How uv got so fast
uv is fast because of what it doesn’t do, not because of what language it’s written in. The standards work of PEP 518, 517, 621, and 658 made fast package management possible. Dropping eggs, pip.conf, and permissive parsing made it achievable. Rust makes it a bit faster still.
pip could implement parallel downloads, global caching, and metadata-only resolution tomorrow. It doesn’t, largely because backwards compatibility with fifteen years of edge cases takes precedence. But it means pip will always be slower than a tool that starts fresh with modern assumptions.
👍16
Блог*
#prog #article How uv got so fast uv is fast because of what it doesn’t do, not because of what language it’s written in. The standards work of PEP 518, 517, 621, and 658 made fast package management possible. Dropping eggs, pip.conf, and permissive parsing…
Also TIL что в стандарте HTTP есть способ запрашивать у сервера только части контента (range заголовок)
http.dev
HTTP Range Request
HTTP Range Request - Learn about http range request in this comprehensive HTTP guide.
😁5🥴4👍3
#prog #rust #article
OnceMap: Rust Pattern for Running Concurrent Work Exactly Once
OnceMap: Rust Pattern for Running Concurrent Work Exactly Once
When multiple tasks need the same resource, how do you ensure the work happens exactly once? uv’s solution is OnceMap - a lightweight concurrent memoization primitive that powers deduplication across the resolver and installer.Не смотря на то, что код приведён для Rust, подход, судя по всему, можно адаптировать и под другие языки.
🤔3❤2