Abstract:Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentation prevents multilingual projects from expressing precise dependencies across language ecosystems; it leaves external system and hardware dependencies implicit and unversioned; it obscures security vulnerabilities that lie in the full dependency graph. We present the \textit{Package Calculus}, a formalism for dependency resolution that unifies the core semantics of diverse package managers. Through a series of formal reductions, we show how this core is expressive enough to model the diversity that real-world package managers employ in their dependency expression languages. By using the Package Calculus as the intermediate representation of dependencies, we enable translation between distinct package managers and resolution across ecosystems.
Author(s): Shin-Pon Ju, Dong-Yeh Wu, Chun-Wen Cheng, Hsing-Yin Chen
，详情可参考新收录的资料
Designed to keep sensitive files safe from prying eyes, the Kingston IronKey Vault Privacy 50 has a snazzy blue finish with a simple cap top and a tiny optional strap. It works with Windows or macOS computers and boasts several security features, but you must run Kingston’s software and set up a password or passphrase the first time you use it. The virtual keyboard protects from keyloggers. Anyone trying to access the drive will automatically erase the contents after 10 wrong attempts, but you can add a hint and an admin account that can reset user passwords. (An ancestor to this drive plays a starring role in a WIRED feature about an early Bitcoin adopter who has 7,002 bitcoins and only two password attempts left.)
南方周末：科技贷款主要聚焦哪些“硬核”赛道？。新收录的资料是该领域的重要参考
Bundle the generated JavaScript files into a single file using a bundler (I am using ESbuild here) esbuild build/dev/javascript//.mjs --platform=node --minify-whitespace --minify-syntax --bundle --outfile=bundle.cjs --format=cjs --footer:js=\"main();\" Specify the entrypoint to the Gleam project as the first argument.
Lowering to BytecodeEmitting functions and blocks。关于这个话题，新收录的资料提供了深入分析