Programming Deadlock
@programming_deadlock
1.25K subscribers
3 photos
86 files
1.08K 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.25K subscribers
Programming Deadlock
explicit-level-imports.pdf
315.7 KB
Explicit Level Imports (GHC)
https://www.well-typed.com/blog/aux/files/explicit-level-imports.pdf
1.05K viewsedited  
Programming Deadlock
2404.04552v3.pdf
346.5 KB
Fast and Simple Sorting Using Partial Information
https://arxiv.org/abs/2404.04552
👍2😐1
1.15K 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.38K 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.27K 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.11K 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.09K 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.14K 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.28K 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.27K views
Programming Deadlock
SAT-linear.pdf
471.9 KB
Selecting and covering colored points
https://www.sciencedirect.com/science/article/pii/S0166218X18302695
👍1
1.36K views
Programming Deadlock
type-theory-workbench.pdf
364.2 KB
Type Theory as a Language Workbench
https://arxiv.org/pdf/2301.12852
👍1
1.64K 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.41K 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.55K 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.41K 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.56K 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.66K 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.48K viewsedited  
Programming Deadlock
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
🗿3😭2❤1😱1
1.71K views
Programming Deadlock
Linkers and Loaders
https://www.iecc.com/linker/
🗿4😡1
1.32K views
Programming Deadlock
2505.12540v2.pdf
2.7 MB
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
🗿1👾1
1.35K 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
1.81K views