Programming Deadlock
Відкрити в Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Показати більше1 868
Підписники
+124 години
+77 днів
+3730 днів
Архів дописів
1 868
Prismatic Category Theory
https://golem.ph.utexas.edu/category/2024/08/prismatic_category_theory.html
1 868
On Deciding Typing in Bidirectional Martin-Löf Type Theory
https://types2024.itu.dk/slides/S3/TYPES2023-Lennon-Bertrand-Krishnaswami.pdf
1 868
Lessons learned from a successful Rust rewrite
https://gaultier.github.io/blog/lessons_learned_from_a_successful_rust_rewrite.html
1 868
A deep dive into Linux’s new mseal syscall
https://blog.trailofbits.com/2024/10/25/a-deep-dive-into-linuxs-new-mseal-syscall/
1 868
Category Theory Illustrated
https://abuseofnotation.github.io/category-theory-illustrated/05_logic/
1 868
Checking Polynomial Time Complexity with Types
https://link.springer.com/chapter/10.1007/978-0-387-35608-2_31
1 868
Computability and Complexity: From a Programming Perspective
http://hjemmesider.diku.dk/~neil/comp2book2007/book-whole.pdf
1 868
What Not to Do When Writing an Interpreter for Specialisation
https://www.researchgate.net/publication/2648244_What_Not_to_Do_When_Writing_an_Interpreter_for_Specialisation
1 868
ROP Chaining: Return Oriented Programming
https://www.ired.team/offensive-security/code-injection-process-injection/binary-exploitation/rop-chaining-return-oriented-programming1 868
Using Circular Programs for Higher-Order Syntax
https://emilaxelsson.github.io/documents/axelsson2013using.pdf
1 868
Practical Design Patterns: Opaque Pointers and Objects in C
https://interrupt.memfault.com/blog/opaque-pointers1 868
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
https://dl.acm.org/doi/pdf/10.1145/3674634
1 868
Major Version Numbers are Not Sacred
https://tom.preston-werner.com/2022/05/23/major-version-numbers-are-not-sacred
