متاح الآن! بحث تيليغرام 2025 — أهم رؤى العام 
Programming Deadlock
الذهاب إلى القناة على Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
إظهار المزيد1 683
المشتركون
-424 ساعات
+77 أيام
+3530 أيام
أرشيف المشاركات
1 685
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
https://www.sciencedirect.com/science/article/pii/S0304397522000317
1 685
The 70% problem: Hard truths about AI-assisted coding
https://addyo.substack.com/p/the-70-problem-hard-truths-about1 685
This equation will change how you see the world (the logistic map)
https://youtu.be/ovJcsL7vyrk?si=XuE-Rdd8qgD8g14I
1 685
Deriving Dependently-Typed OOP from First Principles
https://dl.acm.org/doi/pdf/10.1145/3649846
1 685
Modular Polymorphic Defunctionalization
https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf
1 685
Defunctionalization at Work
https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf
1 685
Functional programming self-affirmations
https://norikitech.com/posts/functional-affirmations/
1 685
Structural abstract interpretation, A formal study using Coq
https://inria.hal.science/inria-00329572v2/
1 685
Revisiting the DOS memory models
https://blogsystem5.substack.com/p/dos-memory-models
1 685
Profiling Python and Ruby using eBPF
https://www.polarsignals.com/blog/posts/2023/10/04/profiling-python-and-ruby-with-ebpf
1 685
Defunctionalization with Dependent Types
https://dl.acm.org/doi/pdf/10.1145/3591241
1 685
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
1 685
A Type System for Recursive Modules
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
1 685
Practical Normalization by Evaluation for EDSLs
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
1 685
Retrofitting spatial safety to hundreds of millions of lines of C++
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
1 685
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
1 685
Hyperlight: Virtual machine-based security for functions at scale
https://opensource.microsoft.com/blog/2024/11/07/introducing-hyperlight-virtual-machine-based-security-for-functions-at-scale/1 685
The Normalization Barrier Revisited
https://dl.acm.org/doi/pdf/10.1145/3694848.3694851
