ru
Feedback

Не попадитесь на канал ботавода! Telemetrio находит и помечает такие каналы 👉 Хотите видеть метку — оформите подписку

Programming Deadlock

Programming Deadlock

Открыть в Telegram

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

Больше
Buy Ad
1 868
Подписчики
+224 часа
+47 дней
+3430 дней
Архив постов
LADDER: Self-Improving LLMs Through Recursive Problem Decomposition https://arxiv.org/pdf/2503.00735

A functional quantum programming language https://people.cs.nott.ac.uk/psztxa/publ/qml.pdf

LANGSEC: Language-theoretic Security (The View from the Tower of Babel) http://langsec.org/

Neurosymbolic Programming with Scallop https://www.scallop-lang.org/

This equation will change how you see the world (the logistic map) https://youtu.be/ovJcsL7vyrk?si=Y1B7PTfsH7kfDASh

A Parallel Implementation for Optimal Lambda-Calculus Reduction https://dl.acm.org/doi/pdf/10.1145/351268.351270

The Software Foundations Series: a broad introduction to the mathematical underpinnings of reliable software https://softwarefoundations.cis.upenn.edu/

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

Everybody’s Got To Be Somewhere https://arxiv.org/pdf/1807.04085

Debloating Address Sanitizer

A friendly guide to exorcising Maxwell’s demon

Reverse Engineering OpenAI Code Execution to make it run C + JavaScript https://x.com/benswerd/status/1899853533761200300