Warning: Undefined array key 0 in /var/www/tgoop/function.php on line 65

Warning: Trying to access array offset on value of type null in /var/www/tgoop/function.php on line 65
1115 - Telegram Web
Telegram Web
tgoop.com » United States » » Telegram Web
Programming Deadlock
type-theory-workbench.pdf
364.2 KB
Type Theory as a Language Workbench
https://arxiv.org/pdf/2301.12852
1.6K 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.3K 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 …
1.5K 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
1.4K 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.5K 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.6K 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
1.4K viewsedited  
Programming Deadlock
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
1.6K views
Programming Deadlock
Linkers and Loaders
https://www.iecc.com/linker/
1.3K views
Programming Deadlock
2505.12540v2.pdf
2.7 MB
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
1.3K 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.
1.7K views
Programming Deadlock
interlisp-ieee.pdf
831.9 KB
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
1.0K viewsedited  
Programming Deadlock
Debugging a FUSE deadlock in the Linux kernel
https://netflixtechblog.com/debugging-a-fuse-deadlock-in-the-linux-kernel-c75cd7989b6d
Medium
Debugging a FUSE deadlock in the Linux kernel
Tycho Andersen
972 views
Programming Deadlock
Lockpicking
https://linuxgazette.net/150/melinte.html
953 views
Programming Deadlock
How 1 Software Engineer Outperforms 138 - Lichess Case Study
https://youtu.be/7VSVfQcaxFY?si=jtbfWD8Ory90o_El
YouTube
How 1 Software Engineer Outperforms 138 - Lichess Case Study
This is a case study on the Lichess product. A free and open source chess platform with over 4 million monthly active users and 1 core developer. The stack he uses is Scala, MongoDB and Snabbdom hosted on bare metal. This is an incredibly interesting project…
1.3K views
Programming Deadlock
optimizing-first-class-pm.pdf
272.7 KB
Optimising First-Class Pattern Matching
https://dl.acm.org/doi/pdf/10.1145/3567512.3567519
1.1K views
Programming Deadlock
sequential-optimality.pdf
582.7 KB
Abstract Machines, Optimal Reduction, and Streams
https://iris.uniroma1.it/bitstream/11573/1408275/6/Lai_preprint_abstract_2019.pdf
1.0K views
Programming Deadlock
slides_shulman.pdf
257.5 KB
Modal Type Theories
https://itp-school-2023.github.io/slides/slides_shulman.pdf
833 viewsedited  
Programming Deadlock
CN separation logic refinement type system for C
https://github.com/rems-project/cn
GitHub
GitHub - rems-project/cn: CN separation logic refinement type system for C
CN separation logic refinement type system for C. Contribute to rems-project/cn development by creating an account on GitHub.
1.3K views
Programming Deadlock
pattern-matching.pdf
365.5 KB
Scalable Pattern Matching in Computation Graphs
https://arxiv.org/pdf/2402.13065
1.0K views
2025/06/29 17:57:19
Back to Top
HTML Embed Code: