Firibgarlarga uchmang! Telemetrio bunday kanallarni topadi va belgilaydi 👉 Belgini ko‘rmoqchi bo‘lsangiz, obuna bo‘ling

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 690 Texnologiyalar & Aralashmalar32 985

Buy Ad

1 866

Obunachilar

+124 soatlar

+47 kun

+3330 kun

1 488

Post ko'rishlar

~ 41324 soatlar

~ 46048 soatlar

79.79%

Muloqot nisbati

Ma'lumot yo'q

Kuniga postlar

Ads index

beta

Postlar arxiv

1 867

A Simplification of Girard's Paradox https://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/kw/scans/hurkens95tlca.pdf

1 867

A Minimalistic Verified Bootstrapped Compiler https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl-

1 867

RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types https://plv.mpi-sws.org/refinedc/

1 867

plai-v325.pdf

1 867

Synthesis of Heap-Manipulating Programs from Separation Logic https://gopiandcode.uk/logs/log-certified-synthesis.html

1 867

Resizable structs in Zig https://tristanpemble.com/resizable-structs-in-zig/

1 867

Checking Polynomial Time Complexity With Types https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf

1 867

Engineering for Slow Internet https://brr.fyi/posts/engineering-for-slow-internet

1 867

A Simpler Lambda Calculus

1 867

Ryan Fleury – Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025 https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4

1 867

A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html

1 867

Case study of over-engineered C++ code (Reimplementing C++ in Object Oriented C) https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html

1 867

Hacking Coroutines into C https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html

1 867

Parse, Don’t Validate: Some C Safety Tips https://www.lelanthran.com/chap13/content.html

1 867

Zig's New Async I/O https://kristoff.it/blog/zig-new-async-io/

1 867

The keys to a successful Webassembly deployment https://queue.acm.org/detail.cfm?id=3746171

1 867

Writing a very simple JIT Compiler in about 1000 lines of C https://kuterdinel.com/writing-a-very-simple-jit-compiler-in-about-1000-lines-of-c.html

1 867

Maximal Sharing in the Lambda Calculus with letrec https://dl.acm.org/doi/pdf/10.1145/2692915.2628148

1 867

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. https://github.com/veyselusta/programming-language-research

1 867

Evolutionary Computation Bestiary: A bestiary of evolutionary, swarm and other metaphor-based algorithms https://fcampelo.github.io/EC-Bestiary/