Programming Deadlock
Ir al canal en Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Mostrar más1 876
Suscriptores
+624 horas
+127 días
+4030 días
Archivo de publicaciones
1 875
RISC-V: Origins and Architecture
https://thechipletter.substack.com/p/risc-v-part-1-origins-and-architecture1 875
CrossHair: Analysis tool for Python that blurs the line between testing and type systems
https://github.com/pschanely/CrossHair1 875
High-numerical-aperture EUV lithography: The next trick to tinier transistors
https://spectrum.ieee.org/high-na-euv1 875
Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism
https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
1 875
Time, Clocks, and the Ordering of Events in a Distributed System (Lamport) - Paper Review
https://percisely.xyz/syncronicity
1 875
Building and operating a pretty big storage system called S3
https://www.allthingsdistributed.com/2023/07/building-and-operating-a-pretty-big-storage-system.html
1 875
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity.
https://austral-lang.org/1 875
Intel AVX10: Taking AVX-512 With More Features & Supporting It Across P/E Cores
https://www.phoronix.com/news/Intel-AVX10
1 875
Introducing Intel® Advanced Performance Extensions (Intel® APX)
https://www.intel.com/content/www/us/en/developer/articles/technical/advanced-performance-extensions-apx.html
1 875
Epigram: Practical Programming with Dependent Types
http://www.e-pig.org/downloads/epigram-notes.pdf
1 875
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
https://raw.githubusercontent.com/StanfordPL/stoke/develop/docs/papers/pldi19a.pdf
