Programming Deadlock – Telegram
Programming Deadlock
@programming_deadlock
1.51K subscribers
3 photos
109 files
1.23K links
Channel about programming: C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Download Telegram
About
Blog
Apps
Platform
Join
Programming Deadlock
1.51K subscribers
Programming Deadlock
2404.04552v3.pdf
346.5 KB
Fast and Simple Sorting Using Partial Information
https://arxiv.org/abs/2404.04552
👍2😐1
1.22K viewsedited  
Programming Deadlock
Optimizations in C++ Compilers
https://queue.acm.org/detail.cfm?id=3372264
queue.acm.org
Optimizations in C++ Compilers - ACM Queue
There
🔥2💅2🤯1
1.49K views
Programming Deadlock
Programming in D: Tutorial and Reference
https://ddili.org/ders/d.en/
ddili.org
Programming in D - Programming in D
D programming language tutorial from the ground up.
🔥5🥴3🗿3
1.35K views
Programming Deadlock
Resource Polymorphism
https://arxiv.org/abs/1803.02796
arXiv.org
Resource Polymorphism
We present a resource-management model for ML-style programming languages, designed to be compatible with the OCaml philosophy and runtime model. This is a proposal to extend the OCaml language...
🔥2👀1
1.18K views
Programming Deadlock
Structure and Interpretation of Computer Programs (SICP)
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
👾6🗿4😭2💊1
1.17K views
Programming Deadlock
computation-by-interaction.pdf
429.8 KB
Computation by Interaction for Space-Bounded Functional Programming
https://www.ulrichschoepp.de/Docs/intml_long.pdf
👍1🔥1🤔1
1.22K viewsedited  
Programming Deadlock
implicit-complexity.pdf
352.8 KB
Implicit computation complexity in higher-order programming languages
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf
👍1🤔1
1.35K viewsedited  
Programming Deadlock
3-SAT-2-2-NP.pdf
186.4 KB
Monotone 3-Sat-(2,2) is NP-complete
https://arxiv.org/pdf/1912.08032
🔥1
1.34K views
Programming Deadlock
SAT-linear.pdf
471.9 KB
Selecting and covering colored points
https://www.sciencedirect.com/science/article/pii/S0166218X18302695
👍1
1.43K views
Programming Deadlock
type-theory-workbench.pdf
364.2 KB
Type Theory as a Language Workbench
https://arxiv.org/pdf/2301.12852
👍1
1.74K views
Programming Deadlock
propositions-as-types.pdf
255.3 KB
Propositions as Types
https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
👍1
1.56K viewsedited  
Programming Deadlock
Introduction to Micro-Optimization
https://specbranch.com/posts/intro-to-micro-optimization/
Specbranch
Introduction to Micro-Optimization
A modern CPU is an incredible machine. It can execute many instructions at the same time, it can
re-order instructions to ensure that memory accesses and …
👍2
1.65K views
Programming Deadlock
hardware-graph-reduction.pdf
1.2 MB
Heron: Modern Hardware Graph Reduction
https://dl.acm.org/doi/pdf/10.1145/3652561.3652564
🔥3
1.67K views
Programming Deadlock
cantrill.pdf
154.8 KB
Dynamic Instrumentation of Production Systems (DTrace)
https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf
🔥1
1.67K viewsedited  
Programming Deadlock
n3519.pdf
195.5 KB
Understanding Effective Type Aliasing in C
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
👍1
1.77K viewsedited  
Programming Deadlock
book.pdf
692.7 KB
Programming in Martin-Löf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
🗿4
1.59K viewsedited  
Programming Deadlock
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
🗿3😭2❤1😱1
1.88K views
Programming Deadlock
Linkers and Loaders
https://www.iecc.com/linker/
🗿4😡1
1.45K views
Programming Deadlock
2505.12540v2.pdf
2.7 MB
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
🗿1👾1
1.46K viewsedited  
Programming Deadlock
Lessons from Writing a Compiler
https://borretti.me/article/lessons-writing-compiler
Fernando Borretti
Lessons from Writing a Compiler
Collected tips from building the Austral compiler.
🔥6👍2❤1
2.07K views
Programming Deadlock
interlisp-ieee.pdf
831.9 KB
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
😭3🫡3
1.2K viewsedited