Programming Deadlock

Відкрити в Telegram

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

США11 803 Технології та додатки34 211

1 683

Підписники

-424 години

+77 днів

+3530 день

1 163

Перегляди допису

~ 33724 години

~ 39048 годин

69.14%

Коефіцієнт залучення

Немає даних

Дописів на день

Ads index

beta

Архів дописів

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-about

1 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

Quake 3 Source Code Review https://fabiensanglard.net/quake3/index.php

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

Against Best Practices https://www.arp242.net/best-practices.html

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