fa
Feedback
Programming Deadlock

Programming Deadlock

رفتن به کانال در Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

نمایش بیشتر
1 686
مشترکین
اطلاعاتی وجود ندارد24 ساعت
+67 روز
+3330 روز
آرشیو پست ها
Functional Programming in Modern C++ https://youtu.be/HE71NqRpvTQ

Thermodynamic Linear Algebra https://arxiv.org/abs/2308.05660

CLOS: Integrating Object-Oriented and Functional Programming https://dreamsongs.com/Files/clos-cacm.pdf

Branchless Programming (C++/ASM) https://youtu.be/bVJ-mWWL7cE

Abelian Sandpiles Explained https://youtu.be/1MtEUErz7Gg

Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete https://en.m.wikipedia.org/wiki/Abelian_sandpile_model

Putting the “You” in CPU: a rabbit hole into how your computer runs programs https://cpu.land/

C++ vs Rust Move Semantics Efficiency Comparison https://arewestackefficientyet.com/

CrossHair: Analysis tool for Python that blurs the line between testing and type systems https://github.com/pschanely/CrossHair

High-numerical-aperture EUV lithography: The next trick to tinier transistors https://spectrum.ieee.org/high-na-euv

Typed Design Patterns for the Functional Era https://arxiv.org/pdf/2307.07069.pdf

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism https://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf

Time, Clocks, and the Ordering of Events in a Distributed System (Lamport) - Paper Review https://percisely.xyz/syncronicity