Endi mavjud! Telegram Tadqiqoti 2025 — yilning asosiy insaytlari 
Programming Deadlock
Kanalga Telegram’da o‘tish
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Ko'proq ko'rsatish1 683
Obunachilar
-424 soatlar
+77 kunlar
+3530 kunlar
Postlar arxiv
1 683
ATS Programming Language: Unleashing the Potentials of Types and Templates
https://ats-lang.sourceforge.net/1 683
Higher RAII, and the Seven Arcane Uses of Linear Types
https://verdagon.dev/blog/higher-raii-uses-linear-types
1 683
Repost from Programming Deadlock
LLVM MLIR: Multi-Level IR Compiler Framework
https://mlir.llvm.org/1 683
FP²: Fully in-Place Functional Programming
https://dl.acm.org/doi/pdf/10.1145/3607840
1 683
LADDER: Self-Improving LLMs Through Recursive Problem Decomposition
https://arxiv.org/pdf/2503.00735
1 683
A functional quantum programming language
https://people.cs.nott.ac.uk/psztxa/publ/qml.pdf
1 683
LANGSEC: Language-theoretic Security (The View from the Tower of Babel)
http://langsec.org/1 683
This equation will change how you see the world (the logistic map)
https://youtu.be/ovJcsL7vyrk?si=Y1B7PTfsH7kfDASh
1 683
Computed goto for efficient dispatch tables
https://eli.thegreenplace.net/2012/07/12/computed-goto-for-efficient-dispatch-tables
1 683
Directed Virtual Reductions
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=698e7bbf356a4cf3c5122ddd2274483f99782f67
1 683
A Parallel Implementation for Optimal Lambda-Calculus Reduction
https://dl.acm.org/doi/pdf/10.1145/351268.351270
1 683
Speeding up C++ code with template lambdas
https://lemire.me/blog/2025/03/15/speeding-up-c-code-with-template-lambdas/
1 683
The Software Foundations Series: a broad introduction to the mathematical underpinnings of reliable software
https://softwarefoundations.cis.upenn.edu/1 683
Parsing Protobuf at 2+GB/s: How I Learned To Love Tail Calls in C
https://blog.reverberate.org/2021/04/21/musttail-efficient-interpreters.html