📚 Cs/books/uwu
Hypermedia Systems (Carson_ (Z-Library) (1).epub
Please read this
If I open a youtube channel and teach HTMX, go, linux, read philosophy there and expose Jews and blah blah things what should I name the channel
Forwarded from Programming Deadlock
Optimizations in C++ Compilers
https://queue.acm.org/detail.cfm?id=3372264
https://queue.acm.org/detail.cfm?id=3372264
queue.acm.org
Optimizations in C++ Compilers - ACM Queue
There
Structure and Interpretation of Computer Programs (SICP)
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
Computation by Interaction for Space-Bounded Functional Programming
https://www.ulrichschoepp.de/Docs/intml_long.pdf
https://www.ulrichschoepp.de/Docs/intml_long.pdf
Understanding Effective Type Aliasing in C
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
Programming in Martin-Löf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
https://arxiv.org/abs/2505.12540
arXiv.org
Harnessing the Universal Geometry of Embeddings
We introduce the first method for translating text embeddings from one vector space to another without any paired data, encoders, or predefined sets of matches. Our unsupervised approach...
Programming in Martin-Löf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
P = NP, up to sharing
https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing
https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing
ResearchGate
(PDF) P = NP, up to sharing
PDF | We prove that we may compute the normal form of each term of the simply typed - calculus in a polynomial number of sharable reductions (where the... | Find, read and cite all the research you need on ResearchGate
A masochist’s guide to web development
https://sebastiano.tronto.net/blog/2025-06-06-webdev/
https://sebastiano.tronto.net/blog/2025-06-06-webdev/
ResearchGate
(PDF) P = NP, up to sharing
PDF | We prove that we may compute the normal form of each term of the simply typed - calculus in a polynomial number of sharable reductions (where the... | Find, read and cite all the research you need on ResearchGate
Variadic Fixed-Point Combinators
https://text.marvinborner.de/2023-06-18-15.html
https://text.marvinborner.de/2023-06-18-15.html
text.marvinborner.de
Variadic Fixed-Point Combinators
This article describes a variadic extension to the default fixed-point combinator – namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf