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 684
Obunachilar
+324 soatlar
+87 kunlar
+3630 kunlar
Postlar arxiv
1 684
Results of the Grand C++ Error Explosion Competition
https://www.tumblr.com/tgceec/74534916370/results-of-the-grand-c-error-explosion
1 684
A 100x speedup with unsafe Python
https://yosefk.com/blog/a-100x-speedup-with-unsafe-python.html
1 684
Distillation: extracting the essence of programs
https://www.semanticscholar.org/paper/Distillation%3A-extracting-the-essence-of-programs-Hamilton/08871ba7e80525327ba4404ea41ccaf6aa18187d
1 684
Staged Compilation with Two-Level Type Theory
https://www.inf.elte.hu/dstore/document/2582/tkp_2023_01_18_prez_Kov%C3%A1cs_A.pdf
1 684
Homeomorphic embedding for online termination of symbolic methods
https://dl.acm.org/doi/10.5555/860256.860274
1 684
Randar: an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that to locate other players currently loaded into the world
https://github.com/spawnmason/randar-explanation1 684
Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language
https://hirrolot.github.io/posts/announcing-beatrice.html
1 684
Transformational Semantics (TS): Gradually Transforming Syntax to Semantics
https://okmij.org/ftp/gengo/transformational-semantics/index.html
1 684
sched_ext is a Linux kernel feature which enables implementing kernel thread schedulers in BPF and dynamically loading them. This repository contains various scheduler implementations and support utilities.
https://github.com/sched-ext/scx1 684
On the Impact of Programming Languages on Code Quality
https://arxiv.org/pdf/1901.10220.pdf
1 684
My ranking of every Shakespeare play
https://nullprogram.com/blog/2023/06/22/
1 684
A Programmer-Friendly I/O Abstraction Over io_uring and kqueue
https://tigerbeetle.com/blog/a-friendly-abstraction-over-iouring-and-kqueue
1 684
Macro-header for compile-time C obfuscation (tcc, win x86/x64)
https://github.com/DosX-dev/obfus.h
1 684
Essence of generalized partial computation
Yoshihiko Futamura
https://www.sciencedirect.com/science/article/pii/030439759190299H
1 684
Interaction Combinators
Yves Lafont
https://www.sciencedirect.com/science/article/pii/S0890540197926432
1 684
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
https://github.com/lifting-bits/mcsema
1 684
LLPE is a partial evaluator for LLVM bitcode. It is suitable for specialising programs written in C, C++, FORTRAN, or any other language that can be compiled to LLVM intermediate representation.
http://www.llpe.org/
