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'rsatish

AQSH10 600 Texnologiyalar & Aralashmalar31 185

1 791

Obunachilar

+124 soatlar

+107 kunlar

+4330 kunlar

930

Post ko'rishlar

~ 39624 soatlar

~ 46448 soatlar

51.93%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 792

Free Monads, Intrinsic Scoping, and Higher-Order Preunification https://arxiv.org/pdf/2204.05653

1 792

Curiously Cumbersome Rust: Type-level Programming https://geo-ant.github.io/blog/2023/rust-type-level-programming/

1 792

Tail recursion for macros in C https://gustedt.wordpress.com/2024/07/19/tail-recursion-for-macros-in-c/

1 792

Making memcpy(NULL, NULL, 0) well-defined https://developers.redhat.com/articles/2024/12/11/making-memcpynull-null-0-well-defined#compiler_builtins

1 792

Downcasting in Rust https://ysantos.com/blog/downcast-rust

1 792

A Verified Implementation of Dijkstra's Algorithm https://github.com/fetburner/coq-dijkstra

1 792

The consequences of one's first programming language

1 792

Type-safe Printf in C https://github.com/moehriegitt/vastringify

1 792

Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism https://www.sciencedirect.com/science/article/pii/S0304397522000317

1 792

The 70% problem: Hard truths about AI-assisted coding https://addyo.substack.com/p/the-70-problem-hard-truths-about

1 792

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

1 792

Deriving Dependently-Typed OOP from First Principles https://dl.acm.org/doi/pdf/10.1145/3649846

1 792

Modular Polymorphic Defunctionalization https://pdfs.semanticscholar.org/4035/76fd488b34418bccd446b7abaee80f4176f5.pdf

1 792

Defunctionalization at Work https://www.cs.cornell.edu/courses/cs6110/2012sp/Defunctionalization-at-work-Danvy.pdf

1 792

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

1 792

Functional programming self-affirmations https://norikitech.com/posts/functional-affirmations/

1 792

Structural abstract interpretation, A formal study using Coq https://inria.hal.science/inria-00329572v2/

1 792

Revisiting the DOS memory models https://blogsystem5.substack.com/p/dos-memory-models

1 792

Profiling Python and Ruby using eBPF https://www.polarsignals.com/blog/posts/2023/10/04/profiling-python-and-ruby-with-ebpf

1 792

Defunctionalization with Dependent Types https://dl.acm.org/doi/pdf/10.1145/3591241